← Leaderboards
Sriram Sankaranarayanan
University Of Colorado At Boulder
$2,243,950
Attributed
$4,807,554
Total exposure
9
Grants
8
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.2M · FY2010–24$2M$1.5M$1M$500K$0
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$4,807,554 · 9
By mechanism
—$4,807,554 · 9
Top collaborators
- Christoffer R Heckman2 shared
- David M Bortz2 shared
- Clayton H Lewis1 shared
- David M Maahs1 shared
- Dirk C Grunwald1 shared
- Gowtham Kaki1 shared
- John Hauser1 shared
- Lijun Chen1 shared
Grant awards (9)
FMitF: Track I: Verified Probabilistic Programming for Hybrid Systems$875,000
· FY2024 · CSE · contact PI
CPS: Medium: Collaborative Research: Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems$624,229
· FY2019 · CSE · contact PI
SHF: Small: Rigorous Synthesis and Verification of Decisions Using Data-Driven Models$499,570
· FY2018 · CSE · contact PI
CPS: Synergy: Verified Control of Cooperative Autonomous Vehicles$784,725
· FY2016 · CSE
CPS: Synergy: Collaborative Research: In-Silico Functional Verification of Artificial Pancreas Control Algorithms.$615,404
· FY2014 · CSE · contact PI
CSR: Small: Collaborative Research: Gray Box Testing of Complex Cyber-Physical Systems Using Optimization and Optimal Control Techniques$249,376
· FY2013 · CSE · contact PI
CAREER: Automatic Analysis of Cyber Physical Systems: Bridging the Gap between Research and Industrial Practice$459,648
· FY2010 · CSE · contact PI
CPS: Small: Formal Analysis of Man-Machine Interfaces to Cyber-Physical Systems$450,000
· FY2010 · CSE · contact PI
SHF: Small: Collaborative Research: Statistical Techniques for Verifying Temporal Properties of Embedded and Mixed-Signal Systems$249,602
· FY2010 · CSE · contact PI