← Leaderboards
Neil Immerman
University Of Massachusetts Amherst
$1,652,491
Attributed
$1,652,491
Total exposure
6
Grants
6
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. They are the sole PI on all grants (the two match).
Funding over time
peak $407K · FY2005–16$500K$375K$250K$125K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
Funding mix
By agency
NSF$1,652,491 · 6
By mechanism
—$1,652,491 · 6
Top collaborators
No co-investigators on record.
Grant awards (6)
AF: Small: Dynamic Reasoning$407,034
· FY2016 · CSE · contact PI
AF: Small: Descriptive Complexity and Inductive Synthesis$341,341
· FY2011 · CSE · contact PI
Variables versus Size: Tradeoffs in Descriptive Complexity$149,997
· FY2008 · CSE · contact PI
Collaborative Research: Advanced Static-Analysis Techniques for Ensuring Reliable Software$275,000
· FY2006 · CSE · contact PI
Logic and Dynamic Computation$199,998
· FY2005 · CSE · contact PI
Development and Application of Descriptive Complexity$279,121
· FY2002 · CSE · contact PI