Clark Barrett
Has grant
Professor (Research)
United StatesResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Clark Barrett is a Professor of Research at Stanford University in the United States. His research primarily focuses on hardware design and verification, optimization of objective functions in machine learning, and scalable verification techniques. Recent publications include works on hardware design tools, optimization methods for ReLU networks, and advancements in model checking techniques.
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:
Articles (5)
Year:
2024
Year:
2023
Year:
2022
Year:
2022
Year:
2021
Collaborators (5)
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
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.