Registered user since Fri 11 Mar 2016
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.
|SPLASH 2014||Committee Member in Program Committee within the OOPSLA-track|
|Show activities from other conferences|
View general profile