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.
I am a member of the Faculty Senate.
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, and a member of the editorial board for the Journal of Functional Programming.
I served as PI for both the 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;
Working on the HASP project, including the design of Habit (Haskell-dialect for systems programming) and the implementation of pork (an L4 microkernel);
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).