I am an Assistant Professor in the Computer Science Department at Harvey Mudd College, CA, USA.

Research Interests: I am interested in the area of programming languages. In general, I apply formal techniques and tools from the programming languages domain (e.g., abstract interpretation, formal semantics, program analysis) to make it easier to write programs.