← Leaderboards
Cesare Tinelli
University Of Iowa
$3,283,791
Attributed
$5,637,717
Total exposure
10
Grants
5
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 $2M · 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,637,717 · 10
By mechanism
—$5,637,717 · 10
Top collaborators
- Aaron D Stump4 shared
- Andrew J Reynolds1 shared
- Clark Barrett1 shared
- John Garrett Morris1 shared
- Katherine Kosaian1 shared
Grant awards (10)
Conference: 2024 Formal Methods in the Field PI Meeting$99,893
· FY2024 · CSE · contact PI
POSE: Phase II: An Open-Source Ecosystem for the cvc5 SMT Solver$1,520,000
· FY2023 · TIP
FMitF: Track II: Strengthening the integration of the CVC4 SMT solver in the Coq proof assistant$100,000
· FY2020 · CSE · contact PI
Collaborative Research: CI-SUSTAIN: StarExec: Cross-Community Infrastructure for Logic Solving$610,641
· FY2017 · CSE
TWC: Medium: Collaborative: Breaking the Satisfiability Modulo Theories (SMT) Bottleneck in Symbolic Security Analysis$397,708
· FY2012 · CSE · contact PI
Collaborative Research: CI-ADDO-NEW: StarExec: Cross-Community Infrastructure for Logic Solving$1,959,838
· FY2011 · CSE
Collaborative Research: CI-ADDO-NEW: *-EXEC: A Cross-Community Solver Execution Service$84,197
· FY2010 · CSE
SHF: Small: Collaborative Research: Flexible, Efficient, and Trustworthy Proof Checking for Satisfiability Modulo Theories$299,986
· FY2009 · CSE
CRI: Collaborative Research: SMT-LIB, A Common Library and Infrastructure for Satisfiability Modulo Theories$160,903
· FY2006 · CSE · contact PI
CAREER: Fast Provers for Extended Static Checking of Software$404,551
· FY2003 · CSE · contact PI