Vijay Ganesh

Research Scientist @ MIT

Publications CV Grants & Awards Brief Bio Software STP HAMPI Invited Talks Interests Links SAT/SMT Solver Summer School @ MIT Research Accomplishments My Blog

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.