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.
