As a faculty member, I am actively engaged in research and teaching. My research is directed toward the general goal of improving the quality of computer software. To that end, I work on high-performance certifying compilers for higher-order typed programming languages such as Standard ML. I am particularly interested in type-safe memory management. Over the past several years, I've spent most of my research time working as a member of the Church Project. Most of my papers can be found here.

I teach a variety of courses in the computer science curriculum. In the fall semester of the 2007-2008 academic year I am teaching:

CS 074 The Digital World.

Thinking of asking me for a letter of recommendation? I may be able to help, but please read this first.