My research interest centers on Programming Languages with applications to Security and Systems Biology.
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.
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.