Experience
Education
Bio
Research Interests
Propositional satisfiability (SAT); Satisfiability modulo theories (SMT); Automated reasoning and applied logic; Automated proof generation and checking; Formal and sem

Appointments
Associate Professor (Research), Computer Science, Stanford University, Sept. 2016 to present.
Visiting Scientist, Google, Mountain View, CA, Jan. 2015 to present.
Visiting Associate Professor, Stanford University, Sept. 2013 to Aug. 2016.
Associate Professor, Computer Science, Courant Institute, NYU, Sept. 2008 to Aug. 2016
Assistant Professor, Computer Science, Courant Institute, NYU, Sept. 2002 to 2008.