My research interests are in formal verification of systems, program analysis, and automatic decision procedures for logics. I am currently serving on the Steering Committee of the International Conference on Computer Aided Verification (CAV). I received a PhD in Computer Science from Carnegie Mellon University.
Before joining the CS department at Princeton, I was at NEC Labs America where I led research in systems analysis and verification. At NEC, my group and I designed techniques for verifying programs, and helped in their successful deployment on large industrial software projects.