Me at the Space Needle, Seattle
At the Space Needle, Seattle

Morgan Deters

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.

Research Interests

SAT solvers
Satisfiability Modulo Theories (SMT)
Static analysis

Selected Publications

Selected Talks


Topics in Automated Deduction, Fall 2010

Office Hours

By appointment

Curriculum vitæ

Morgan Deters
New York University
Courant Institute of Mathematical Sciences
251 Mercer St.
New York, NY   10012
Warren Weaver Hall, room 402
212-998-3225 office
212-995-4124 fax
Valid XHTML 1.1 Valid