← Leaderboards
Stephen Brookes
Carnegie Mellon University
$918,742
Attributed
$918,742
Total exposure
3
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. They are the sole PI on all grants (the two match).
Funding over time
peak $418.7K · FY2005–10$500K$375K$250K$125K$0
'05
'06
'07
'08
'09
'10
Funding mix
By agency
NSF$918,742 · 3
By mechanism
—$918,742 · 3
Top collaborators
No co-investigators on record.
Grant awards (3)
SHF: Small: Separation Principles for Concurrent Programs: Semantics, Logics, and Methodology$418,742
· FY2010 · CSE · contact PI
A Resource-Sensitive Semantic Framework for Concurrent Programs$300,000
· FY2005 · CSE · contact PI
A Semantically-Based Methodology for Proving Safety, Liveness, and Security Properties of Parallel Systems$200,000
· FY2000 · CSE · contact PI