← Leaderboards
Gopalan Nadathur
University Of Minnesota-Twin Cities
$1,472,646
Attributed
$1,476,146
Total exposure
5
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 $568.1K · FY2009–16$1M$750K$500K$250K$0
'09
'10
'11
'12
'13
'14
'15
'16
Funding mix
By agency
NSF$1,476,146 · 5
By mechanism
—$1,476,146 · 5
Top collaborators
- Michael W Whalen1 shared
Grant awards (5)
SHF: Small: A Higher-Order Framework for Meta-Theoretic Reasoning$557,756
· FY2016 · CSE · contact PI
Midwest Verification Day, 2011$7,000
· FY2011 · CSE · contact PI
SHF:Small:Reasoning about Specifications of Computations$568,093
· FY2009 · CSE · contact PI
Supporting Higher-Order Approaches to Symbolic Computation$238,199
· FY2004 · CSE · contact PI
An Effective Framework for Realizing Derivation Systems$105,098
· FY2000 · CSE · contact PI