Clark Barrett

Stanford University

Research Interests
Automated reasoning; satisfiability modulo theories (SMT); formal methods; formal verification; verification of smart contracts; verification of neural networks; AI safety; hardware design productivity and verification.


New

Research

Centers

SMT Resources

Other Links


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

Email: barrett@cs.stanford.edu