I am currently a member of the ACSys group in the Department of Computer Science at New York University.
Previously I was working with Robert Nieuwenhuis at the Technical University of Catalonia (UPC). Prior to that I was at Washington University in St. Louis, working first with Ron Cytron, my PhD advisor, and then for a brief time with Aaron Stump (now at the University of Iowa) after graduation.
Satisfiability Modulo Theories (SMT)
Topics in Automated Deduction, Fall 2010
New York University
Courant Institute of Mathematical Sciences
251 Mercer St.
New York, NY 10012
Warren Weaver Hall, room 402