← Leaderboards
Clark Barrett
New York University
$3,990,183
Attributed
$5,000,183
Total exposure
14
Grants
13
Lead (contact PI)
Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants.
Funding over time
peak $1.5M · FY2006–24$2M$1.5M$1M$500K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$5,000,183 · 14
By mechanism
—$5,000,183 · 14
Top collaborators
- Cesare Tinelli1 shared
- Thomas Wies1 shared
Grant awards (14)
Travel: NSF Student Travel Grant for 2024 Formal Methods in Computer-Aided Design (FMCAD)$15,000
· FY2024 · CSE · contact PI
POSE: Phase II: An Open-Source Ecosystem for the cvc5 SMT Solver$1,520,000
· FY2023 · TIP · contact PI
NSF-BSF: SHF: Small: Neural Network Verification: Abstraction, Compositional Verification and Standardization$500,000
· FY2022 · CSE · contact PI
NSF-BSF: SHF: Small: Efficient, Automatic, and Trustworthy Smart Contract Verification$492,818
· FY2021 · CSE · contact PI
Collaborative Research: SHF: Small: Integrating Synthesis and Optimization in Satisfiability Modulo Theories$250,000
· FY2020 · CSE · contact PI
NSF Student Travel Grant for 2019 Formal Methods in Computer-Aided Design (FMCAD)$15,000
· FY2019 · CSE · contact PI
NSF-BSF: SHF: Small: Certifiable Verification of Large Neural Networks$480,924
· FY2018 · CSE · contact PI
2014 SAT/SMT Summer School$20,000
· FY2014 · CSE · contact PI
SHF: Small: Integrating separation logic and SMT for better heap verification$500,000
· FY2013 · CSE
TWC: Medium: Collaborative: Breaking the Satisfiability Modulo Theories (SMT) Bottleneck in Symbolic Security Analysis$399,816
· FY2012 · CSE · contact PI
TC: EAGER: Collaborative Research: Parallel Automated Reasoning$124,799
· FY2010 · CSE · contact PI
Amir Pnueli Memorial Symposium$33,500
· FY2010 · CSE · contact PI
CAREER: Cascade -- Precision on Demand for Software Verification$485,753
· FY2007 · CSE · contact PI
CRI: Collaborative Research: SMT-LIB, A Common Library and Infrastructure for Satisfiability Modulo Theories$162,573
· FY2006 · CSE · contact PI