Research Interests: My research interests include applications of mathematical logic and category theory to computer science, especially concerning the semantics of programming languages, type theories, and models for global computing. I am also interested in the implementation of advanced programming languages and was a co-developer of The ML Kit and SML-Mix. For more information, please see my publications.
Current Research Projects:
Picture, August 2007
Picture, December 2009
Book: Developing Theories of Types and Computability via Realizability Electronic Notes in Theoretical Computer Science, Volume 34, 2000.