Skip navigation

I am an associate professor of Computer Science at The University of Iowa.  My research interests are in programming language semantics, design, and implementation; type theory and proof assistants; term rewriting; and automated theorem proving, particularly Satisfiability Modulo Theories (SMT).

For more info on my own research and other activities, see my web page.

%d bloggers like this: