← Leaderboards
Peter A Cholak
University Of Notre Dame
$1,848,106
Attributed
$3,704,923
Total exposure
12
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 $1.2M · FY2005–25$2M$1.5M$1M$500K$0
'05
'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$3,704,923 · 12
By mechanism
—$3,704,923 · 12
Top collaborators
- Julia F Knight4 shared
- Sergei Starchenko4 shared
- Steven A Buechler4 shared
- Anand Pillay1 shared
- David W Chiang1 shared
Grant awards (12)
MFAI: Logic and the Theory of Neural Language Models$760,000
· FY2025 · MPS
FRG: Collaborative Research: Computability-Theoretic Aspects of Combinatorics$271,989
· FY2019 · MPS · contact PI
Ramsey Theory and Computability: Rome$25,000
· FY2018 · MPS · contact PI
US Participation in New Zealand Logic Meetings$34,320
· FY2016 · MPS · contact PI
EMSW21-RTG: Notre Dame's Mathematical Logic Program$1,178,000
· FY2009 · MPS · contact PI
EMSW21 - RTG: Research Training in Mathematical Logic at Notre Dame$151,000
· FY2008 · MPS · contact PI
Topics in Computability Theory$123,885
· FY2008 · MPS · contact PI
FRG: Collaborative Research: Algorithmic Randomness$156,600
· FY2007 · MPS · contact PI
Two Conferences in Logic at Notre Dame$22,200
· FY2005 · MPS
EMSW21-RTG: Research Training in Logic at Notre Dame$449,000
· FY2004 · MPS
Definability and Automorphisms in Computability Theory$447,732
· FY2003 · MPS · contact PI
Computability and definability in mathematical logic$85,197
· FY2000 · MPS · contact PI