I am interested in Programming Languages and Software Engineering, specifically, in techniques for building reliable computer systems. My work draws from, combines and contributes to the areas of Type Systems, Model Checking, Program Analysis and Automated Deduction, with my fantastic students in the Programming Systems Group. Current projects include:
See my papers for more.
Currently I am teaching: