← Leaderboards
Andre Platzer
Carnegie Mellon University
$2,643,174
Attributed
$5,802,466
Total exposure
5
Grants
4
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 · FY2009–17$5M$3.8M$2.5M$1.3M$0
'09
'10
'11
'12
'13
'14
'15
'16
'17
Funding mix
By agency
NSF$5,802,466 · 5
By mechanism
—$5,802,466 · 5
Top collaborators
- Edmund M Clarke2 shared
- Bruce H Krogh1 shared
- Christopher J Langmead1 shared
Grant awards (5)
CPS: Small: Sound Invariant Generation for Continuous and Hybrid Systems$479,117
· FY2017 · CSE · contact PI
CPS: Breakthrough: Knowledge-Aware Cyber-Physical Systems$499,731
· FY2015 · CSE · contact PI
CAREER: Logical Foundations of Cyber-Physical Systems$427,895
· FY2011 · CSE · contact PI
Collaborative Research: Next-Generation Model Checking and Abstract Interpretation with a Focus on Embedded Control and Systems Biology$3,845,723
· FY2009 · CSE
CPS: Small: Compositionality and Reconfiguration for Distributed Hybrid Systems$550,000
· FY2009 · CSE · contact PI