I am a Professor in the Department of Computer Science in the Maseeh College of Engineering & Computer Science at Portland State University in Portland, Oregon, USA.
My 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, and a member of the editorial board for the Journal of Functional Programming.
I was PI for the Timber project (people still ask me about Timbot).
I was the original designer and implementor of the Gofer and Hugs systems. But, after ten years' work, I no longer maintain or develop those systems.
I live and work in Oregon in the USA. You'd like it here too ...
What have I been upto lately?
Preparing to teach CS321 on Languages and Compiler Design in Fall 2009;
Serving as PI for Programatica, and working on a model/implementation of L4;
Serving on the program committees for The 2005 Haskell Workshop, SoftCeMent 2005, ITCES 2006, POPL '07, ICFP '07, and The Haskell Symposium 2009;
Hacking with PHP, MySQL, CSS, and HTML to build a database and online interface that tracks departmental assessment data;
Coding memory image boot tools for GRUB using C and GNU assembler;
Developing and using Java tools including sweet (a static weaver and editing tool for Java) and jacc (a yacc-like parser generator for Java).
