← Leaderboards
Aaron D Stump
Washington University
$2,757,064
Attributed
$4,284,290
Total exposure
9
Grants
8
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 · FY2005–17$2M$1.5M$1M$500K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
Funding mix
By agency
NSF$4,284,290 · 9
By mechanism
—$4,284,290 · 9
Top collaborators
- Cesare Tinelli4 shared
- Juan Pablo Hourcade1 shared
Grant awards (9)
Collaborative Research: CI-SUSTAIN: StarExec: Cross-Community Infrastructure for Logic Solving$610,641
· FY2017 · CSE · contact PI
SHF: Small: Lambda Encodings Reborn$543,918
· FY2015 · CSE · contact PI
Powerful User Interfaces for Interactive Theorem Proving$99,791
· FY2012 · CSE
Collaborative Research: CI-ADDO-NEW: StarExec: Cross-Community Infrastructure for Logic Solving$1,959,838
· FY2011 · CSE · contact PI
Collaborative Research: CI-ADDO-NEW: *-EXEC: A Cross-Community Solver Execution Service$84,197
· FY2010 · CSE · contact PI
SHF: Small: Collaborative Research: Flexible, Efficient, and Trustworthy Proof Checking for Satisfiability Modulo Theories$299,986
· FY2009 · CSE · contact PI
CAREER: Semantic Programming$177,521
· FY2008 · CSE · contact PI
CRI: Collaborative Research: SMT-LIB, A Common Library and Infrastructure for Satisfiability Modulo Theories$170,573
· FY2006 · CSE · contact PI
CAREER: Semantic Programming$337,825
· FY2005 · CSE · contact PI