I am Associate Professor in the Department of Computer Science at Williams College, MA, USA.

Research Interests: Design and implementation of programming languages and virtual machines, Type-based program analysis, Verification of multithreaded programs, Programming environments.