← Leaderboards
Benjamin Goldberg
New York University
$536,890
Attributed
$1,527,670
Total exposure
6
Grants
1
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 $200K · FY2007–09$200K$150K$100K$50K$0
'07
'08
'09
Funding mix
By agency
NSF$1,527,670 · 6
By mechanism
—$1,527,670 · 6
Top collaborators
- Amir Pnueli5 shared
- Lenore D Zuck3 shared
- Patrick Cousot1 shared
Grant awards (6)
WORKSHOP: Usable Verification.$4,000
· FY2009 · CSE · contact PI
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
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
Translation Validation of Advanced Compiler Optimizations$239,999
· FY2001 · CSE