Discrete structures, theory of computation, programming language semantics, formal methods, object-oriented programming
Computation theory and programming language semantics, category theory
Papers in various journals including Annals of Pure and Applied Logic, Cambridge University Press, Contemporary Mathematics, Information and Computation, Journal of Pure and Applied Algebra, Springer Lecture Notes in Computer Science and Theoretical Computer Science
National Science Foundation Research Grants, 1987-89, 1990-93, 1992-95, 1995-98
NSF Western Europe Cooperative Science Research Grant, 1992-93
NSF Educational Infrastructure Grant (senior investigator), 1993-96
