PeopleofSuperintelligence

Researcher

Clark Barrett

Clark Barrett is Stanford University's Corbel Professor (Research) of Computer Science, with work in automated reasoning, neural network verification, and AI-assisted formal verification. He studied mathematics, computer science, and electrical engineering at Brigham Young University, joined NYU in 2002, earned his Stanford PhD in 2003, and moved to Stanford in 2016. His work includes Reluplex, which checks properties of deep neural networks, the cvc5 SMT solver, and Lemur, which combines large language models with automated reasoning to verify programs. He received CAV Awards in 2021 and 2024, and ACM named him a Fellow in January 2025. As of October 2026, he directs Stanford's Center for Automated Reasoning and co-directs its Center for AI Safety.

Works
418
Citations
11,824
h-index
47
Badges

Publication numbers from OpenAlex, as of 27 October 2026.

Timeline

  1. 1995

    Three subjects at BYU

    He earns his bachelor's degree in mathematics, computer science, and electrical engineering at Brigham Young University in 1995.

  2. 2002–2003

    NYU and a Stanford doctorate

    In 2002, he joins the faculty at New York University. He earns his PhD in computer science at Stanford University in 2003.

  3. 2016

    Moving from Courant to Stanford

    In 2016, he moves to Stanford from an associate professorship in computer science at New York University's Courant Institute of Mathematical Sciences.

  4. 2017

    Reluplex checks neural networks

    In 2017, he coauthors Reluplex with Guy Katz, David Dill, Kyle Julian, and Mykel Kochenderfer. The method checks properties of deep neural networks, and the team tests it on a neural network implementation of the ACAS Xu airborne collision avoidance system for unmanned aircraft.

  5. 2021

    Directing Stanford automated reasoning

    In 2021, he becomes director of Stanford's Center for Automated Reasoning (Centaur). He also receives the 2021 Computer Aided Verification (CAV) Award for contributions to the theory and practice of satisfiability modulo theories (SMT).

  6. 2022

    The cvc5 solver

    He coauthors “cvc5: A Versatile and Industrial-Strength SMT Solver” in 2022. The paper receives the SCP best tool paper award at TACAS 2022.

  7. 2023

    Lemur combines language and logic

    With Haoze Wu and Nina Narodytska, he coauthors Lemur in 2023. The work combines large language models with automated reasoners to verify programs, describes rules for the method, and proves its soundness.

  8. 2024

    A CAV Award for Reluplex

    He shares the 2024 CAV Award with David Dill, Kyle Julian, Guy Katz, and Mykel Kochenderfer for their 2017 Reluplex paper on verifying deep neural networks.

  9. January 2025

    Recognition as an ACM Fellow

    In January 2025, ACM names him a Fellow in its 2024 class for contributions to the theory, implementation, and application of SMT solving.

  10. As of October 2026

    Corbel Professor at Stanford

    As of October 2026, he is the Corbel Professor (Research) of Computer Science in Stanford University's School of Engineering. He directs Centaur and co-directs the Stanford Center for AI Safety, with work in automated reasoning, neural network verification, and AI-assisted formal verification.

Career

  1. Since 2021Stanford UniversityDirector, Center for Automated Reasoning (Centaur)
  2. Since 2018Stanford UniversityCo-director, Stanford Center for AI Safety
  3. NowStanford UniversityCorbel Professor (Research) of Computer Science
  4. Until 2016Courant Institute of Mathematical SciencesAssociate Professor of Computer Science
  5. From 2016Stanford University
  6. 2002–2016New York UniversityFaculty

Education

  1. 2003Stanford UniversityPhD in Computer Science
  2. 1995Brigham Young UniversityBachelor's degree in Mathematics, Computer Science, and Electrical Engineering

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

Checked career sources: wikis.mit.edu, cs.stanford.edu, profiles.stanford.edu.

Colleagues

People named in this biography, and people with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Clark Barrett yet. Send us a free-licensed photo.

  1. Cvc3 - SAT/SMT Solver Summer School 2011 - MIT Wiki Service wikis.mit.edu. Checked 27 October 2026.
  2. Clark Barrett's Profile | Stanford Profiles profiles.stanford.edu. Checked 27 October 2026.
  3. Clark Barrett | Computer Science cs.stanford.edu. Checked 27 October 2026.
  4. [1702.01135] Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks arxiv.org. Checked 27 October 2026.
  5. Best papers etaps.org. Checked 27 October 2026.
  6. [2310.04870] Lemur: Integrating Large Language Models in Automated Program Verification arxiv.org. Checked 27 October 2026.
  7. SIGLOG Monthly 252 lics.siglog.org. Checked 27 October 2026.
  8. 2024 ACM Fellows honored for transformative contributions to computing | EurekAlert! eurekalert.org. Checked 27 October 2026.