Clark Barrett

Stanford 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.


New

Research

Systems

SMT Resources

Other Links


Clark Barrett
Department of Computer Science, Gates 448
Stanford University
Stanford, CA 94305

Email: barrett@cs.stanford.edu