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 PSU Profile has a few more details.
I will be returning to the department as a regular faculty member in Fall 2026, following a sabbatical during the 2025-2026 academic year.
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 low-level systems programming, and in the development and application of expressive type systems and language abstractions that support the construction and certification of secure and reliable software systems.
I am the original designer and implementor of the Gofer and Hugs systems. People still ask me about Timbot. I developed a course on Languages and Low-Level Programming; and I have since reimplemented several of the associated lab examples using mil-tools.