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)
Verification
Static analysis

Selected Publications

Selected Talks

Courses

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
mdeters@cs.nyu.edu
Warren Weaver Hall, room 402
212-998-3225 office
212-995-4124 fax
Valid XHTML 1.1 Valid
  CSS!