I am the AT&T Foundation Distinguished Professor of Electrical and Computer Science and Director of the Institute for Information Sciences at the University of Kansas. My research and teaching interests include formal verification and synthesis, trusted systems, and programming language semantics.
My teaching interests include formal methods, programming languages and semantics, digital systems design and software engineering. For more information on courses I teach, visit my teaching pages.
My research interests include formal methods, system-level design, trusted computing, design and specification language semantics, and component retrieval. For more information on my research, visit my research or the SLDG pages.
“Barba non facit philosophum” (A beard does not make one a philosopher)
Personal interests include music and stereo gear, running and yoga. For more information on what I do for fun and where I come from, visit my personal pages.
My full vita should you be interested.