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 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 ProgrammingJournal of Functional Programming-->.
At various times, I served as a PI for the HASP, Programatica and the Timber projects. (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?
Teaching classes on Languages and Compiler Design;
Serving on the program committees for The 2005 Haskell Workshop, SoftCeMent 2005, ITCES 2006, POPL '07, ICFP '07, The Haskell Symposium 2009; and TLDI 2011.
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).