At the Space Needle, Seattle
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.
SAT solvers
Satisfiability Modulo Theories (SMT)
Verification
Static analysis
Topics in Automated Deduction, Fall 2010
By appointment
|
Morgan Deters New York University Courant Institute of Mathematical Sciences 251 Mercer St. New York, NY 10012 |
mdeters@cs.nyu.edu Warren Weaver Hall, room 402 212-998-3225 office 212-995-4124 fax |
|