Clark Barrett

Associate Professor of Computer Science
New York University

Research Interests
Propositional satisfiability (SAT); Satisfiability modulo theories (SMT); Automated reasoning and applied logic; Automated proof generation and checking; Formal and semi-formal verification of hardware and software; Applications of automated reasoning to security.


Research

Systems

SMT Resources

Events

Teaching

Other Links


Clark Barrett
Department of Computer Science
Courant Institute of Mathematical Sciences
New York University
251 Mercer Street, Room 403
New York, NY 10012

Phone: (212) 998-3105
Fax: (212) 995-4121

Email: barrett@cs.nyu.edu