Clark Barrett - VMCAI 2026

Mon 12 - Tue 13 January 2026 Rennes, France

co-located with POPL 2026

Registered user since Tue 20 Sep 2016

Name:Clark Barrett

Country:United States

Affiliation:Stanford University

Personal website: https://cs.stanford.edu/~barrett

Research interests:Formal Methods, Automated Reasoning, Verification, SAT, SMT, Security

Contributions

2026

CPP

Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions

VMCAI

Proof Minimization in Neural Network Verification

Show activities from other conferences

POPL 2026-profile
View general profile