My research interests include all aspects of programming language design, implementation, and application. I am particularly interested in the use of advanced programming language technologies for systems programming, and in the development and application of expressive type and module systems that support the construction and certification of secure and reliable software systems.
I am a member of IFIP Working Group 2.8 - Functional Programming.
I live and work in Oregon in the USA. You'd like it here too ...
What have I been upto lately?
Teaching classes on Languages and Compiler Design;