Clark Barrett
Professor (Research)
Stanford University
United States
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.

How do Vietnamese students reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Mathematical Logic
Algebra
Model Checking
Computational Complexity
Logic Programming
Optimization Theory
Concurrency
Ask ApplyKite AI
Recent Grants
Grant: Close
NSF-BSF: SHF: Small: Neural Network Verification: Abstraction, Compositional Verification and Standardization
Open Date: 2022-10-01
Close Date: 2025-09-30
Grant: Close
NSF-BSF: SHF: Small: Efficient, Automatic, and Trustworthy Smart Contract Verification
Open Date: 2021-10-01
Close Date: 2024-09-30
Grant: Close
NSF-BSF: SHF: Small: Neural Network Verification: Abstraction, Compositional Verification and Standardization
Open Date: 2021-01-01
Close Date:
Grant: Close
Collaborative Research: SHF: Small: Integrating Synthesis and Optimization in Satisfiability Modulo Theories
Open Date: 2020-06-01
Close Date: 2023-05-31
Grant: Close
NSF-BSF: SHF: Small: Efficient, Automatic, and Trustworthy Smart Contract Verification
Open Date: 2020-01-01
Close Date:
Articles4
Collaborators5
Mykel Kochenderfer
Associate Professor
Stanford University
Cesare Tinelli
Professor
The University of Iowa
Aina Niemetz
Stanford University
Mathias Preiner
Stanford University
Gagandeep Singh
Assistant Professor
University of Illinois at Urbana-Champaign

How do Vietnamese students reach out?
Sign in for free to see their profile details and contact information.