← Leaderboards
Amir Pnueli
New York University
$1,148,917
Attributed
$3,371,752
Total exposure
6
Grants
2
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.8M · FY2007–09$2M$1.5M$1M$500K$0
'07
'08
'09
Funding mix
By agency
NSF$3,371,752 · 6
By mechanism
—$3,371,752 · 6
Top collaborators
- Benjamin Goldberg5 shared
- Lenore D Zuck3 shared
- Patrick Cousot2 shared
- Bhubaneswar Mishra1 shared
Grant awards (6)
Collaborative Research: Next-Generation Model Checking and Abstract Interpretation with a Focus on Embedded Control and Systems Biology$1,848,082
· FY2009 · CSE
CSR - EHCS(EHS), TM: Abstract Interpretation-Based Analysis and Verification for Critical Systems$200,000
· FY2008 · CSE
Collaborative Research: CSR--EHS: Property-Based Development of Reactive and Embedded Systems$150,000
· FY2007 · CSE · contact PI
Translation Validation of Advanced Compiler Optimizations$233,672
· FY2003 · CSE
ITR: COLLABORATIVE RESEARCH: Towards a Seamless Process for the Development of Embedded Systems$699,999
· FY2002 · CSE · contact PI
Translation Validation of Advanced Compiler Optimizations$239,999
· FY2001 · CSE