← Leaderboards
Jeremy Avigad
Carnegie Mellon University
$2,553,664
Attributed
$6,387,701
Total exposure
11
Grants
9
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 $5M · FY2006–25$5M$3.8M$2.5M$1.3M$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$6,387,701 · 11
By mechanism
—$6,387,701 · 11
Top collaborators
- Teddy I Seidenfeld2 shared
- David J Danks1 shared
- Heather Macbeth1 shared
- Marienus Heule1 shared
- Matthew R Ballard1 shared
- Prasad V Tetali1 shared
- Sean Welleck1 shared
Grant awards (11)
Institute for Computer-Aided Reasoning in Mathematics$4,100,000
· FY2025 · MPS · contact PI
AIMing: A Neuro-Symbolic Approach to Mechanized Mathematical Reasoning$900,000
· FY2025 · MPS
SHF: Small: Synergy between Automated Reasoning and Interactive Theorem Proving$544,003
· FY2022 · CSE
Verified Computation and Proof$149,818
· FY2016 · MPS · contact PI
Proof Mining and Formal Verification$232,000
· FY2011 · MPS · contact PI
Carnegie Mellon Summer School in Logic and Formal Epistemology; Summer of 2009 and 2010; Pittsburgh, PA$24,000
· FY2009 · MPS · contact PI
Collaborative research: logical support for formal verification$217,747
· FY2007 · MPS · contact PI
Carnegie Mellon Summer School in Logic and Formal Epistemology$24,024
· FY2007 · MPS · contact PI
Carnegie Mellon Summer School in Logic and Formal Epistemology$26,047
· FY2006 · MPS · contact PI
collaborative research: theoretical support for mechanized proof assistants$98,999
· FY2004 · MPS · contact PI
Constructive aspects of classical mathematics$71,063
· FY2000 · MPS · contact PI