BS Fairfield University 1972; MA SUNY Fredonia 1976; MA, PhD SUNY Buffalo 1978, 1980
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; Picker Research Fellow 1991-92