Perry Alexander is the AT&T Foundation Distinguished Professor of Electrical and Computer Science and Director of the Institute for Information Sciences at the University of Kansas. His research and teaching interests include formal verification and synthesis, trusted systems, and programming language semantics. His My teaching interests include formal methods, programming languages and semantics, digital systems design and software engineering. His research interests include formal methods, system-level design, trusted computing, design and specification language semantics, and component retrieval.