← Leaderboards
Edmund M Clarke
Carnegie Mellon University
$2,895,087
Attributed
$6,996,046
Total exposure
8
Grants
7
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 $4.4M · FY2006–09$5M$3.8M$2.5M$1.3M$0
'06
'07
'08
'09
Funding mix
By agency
NSF$6,996,046 · 8
By mechanism
—$6,996,046 · 8
Top collaborators
- Andre Platzer2 shared
- Bruce H Krogh2 shared
- Christopher J Langmead1 shared
- Jeannette M Wing1 shared
- Randal E Bryant1 shared
Grant awards (8)
Collaborative Research: Next-Generation Model Checking and Abstract Interpretation with a Focus on Embedded Control and Systems Biology$3,845,723
· FY2009 · CSE · contact PI
CPS: Small: Compositionality and Reconfiguration for Distributed Hybrid Systems$550,000
· FY2009 · CSE
The Component Substitution Problem for Software Systems$348,290
· FY2006 · CSE · contact PI
EHS: Graph-Based Refinement Strategies for Hybrid Systems$550,000
· FY2004 · CSE · contact PI
Efficient Model Checking of Concurrent and Dynamic Software$320,000
· FY2004 · CSE · contact PI
The CUE Initiative on The Scientific Foundation of Software Engineering$7,034
· FY2003 · CSE · contact PI
ITR/SY: Verification Tools for Autonomous and Embedded Systems$1,000,000
· FY2001 · CSE · contact PI
Automatic Verification of Concurrent Hardware and Software Systems$374,999
· FY2001 · CSE · contact PI