← Leaderboards
Andrew J Reynolds
University Of Iowa
$239,907
Attributed
$289,907
Total exposure
3
Grants
2
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 $174.9K · FY2017–20$200K$150K$100K$50K$0
'17
'18
'19
'20
Funding mix
By agency
NSF$289,907 · 3
By mechanism
—$289,907 · 3
Top collaborators
- Cesare Tinelli1 shared
Grant awards (3)
FMitF: Track II: Strengthening the integration of the CVC4 SMT solver in the Coq proof assistant$100,000
· FY2020 · CSE
NSF Student Travel Grant for 2018 SAT/SMT/AR Summer School (SSA)$15,000
· FY2018 · CSE · contact PI
CRII: SHF: Efficient SMT Procedures for Scalable Synthesis in Software Development$174,907
· FY2017 · CSE · contact PI