My general research interests are in the logic, semantics, and implementation of programming languages. In particular, I am interested in using logic to help design and verify that software systems ...