My research interest centers on Programming Languages with applications to Security and Systems Biology.
Language-Based Security is 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.
Computational Systems Biology is an emerging discipline that studies complex biological systems where large numbers of diverse and multifunctional elements interact in selective ways. In collaboration with Joseph Glavy (Stevens), I am using the Stochastic Pi-Calculus to model molecular processes.