My research interest centers on Language-Based Security, the application and development of innovative programming language techniques to address security, access control, privacy, and confidentiality issues. My main goal is to further our knowledge of the production of high-quality software systems, either by constructing proved-correct software, designing calculi for the modeling of complex software systems, or studying meta-theoretical results relevant to the production of such software.
I am working with Andrew Appel (Princeton) on the construction of a proved-correct compiler for Featherweight Java. Our long term goal is the construction of a correct Java compiler as part of the Concurrent C Minor project.
