Clark W. Barrett
Associate Professor
New York University
Research Interests
Propositional satisfiability (SAT), satisfiability modulo theories (SMT), automated deduction and applied logic, proof-producing algorithms, formal and semi-formal verification of hardware and software, combining verification systems.
B.S. Brigham Young University;
M.S., Ph.D. Stanford University.