|
I am a research scientist at MIT, broadly interested in making software more reliable and secure. I received my PhD in CS from Stanford University.
My Papers on Google Scholar and FreeSearch
Software
Awards
- Google Research Award 2012 (for SMT solver research)
- ACM Distinguished Paper Award 2009 (for HAMPI string solver)
- STP Solver won 2006/2010 SMTCOMP competition (bit-vectors)
Research Interests
- SMT Solvers, Formal Methods for Security and Crypto, Testing, Programming Languages, Logic in Computer Science.
|