Social
Clark_Barrett_Stanford_small.jpg
Award Recipient

Clark Barrett

Stanford University
Social
2021 Amazon Research Award
“Towards seamless formal verification with Dafny, Boogie, and cvc5”
2021 Amazon Research Award
HydraScale: solving SMT queries in the serverless cloud
Research topic
Automated reasoning
2020 Amazon Research Award
Model-based testing of SMT solvers
Research topic
Automated reasoning
View from space of a connected network around planet Earth representing the Internet of Things.
Get more from Amazon Science
Subscribe to our newsletter

Amazon.com | Conditions of Use | Privacy | © 1996-2026 Amazon.com, Inc. or its affiliates

Social