My research is in the broad areas of software engineering and formal methods. The primary focus is to develop techniques for the principled design of systems to improve safety and security, including supporting the debugging, analysis, and verification of complex or concurrent programs.