← Leaderboards
Patrick Cousot
New York University
$1,664,093
Attributed
$3,029,481
Total exposure
4
Grants
3
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 · FY2008–16$2M$1.5M$1M$500K$0
'08
'09
'10
'11
'12
'13
'14
'15
'16
Funding mix
By agency
NSF$3,029,481 · 4
By mechanism
—$3,029,481 · 4
Top collaborators
- Amir Pnueli2 shared
- Benjamin Goldberg1 shared
- Bhubaneswar Mishra1 shared
Grant awards (4)
SHF: Small: Semantics, Static Analysis, and Refencing of Concurrent Programs with Weak Memory Models$481,399
· FY2016 · CSE · contact PI
CPS: Breakthrough: Cyber-Physical System Securitization by Responsibility Analysis$500,000
· FY2015 · CSE · contact PI
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 · contact PI