← Leaderboards
Stavros Tripakis
University Of California-Berkeley
$1,667,419
Attributed
$4,684,838
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 $2.3M · FY2012–25$2.5M$1.9M$1.3M$625K$0
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$4,684,838 · 5
By mechanism
—$4,684,838 · 5
Top collaborators
- Christopher Amato2 shared
- Alberto L Sangiovanni Vincentelli1 shared
- Bjoern Hartmann1 shared
- Cristina Nita-Rotaru1 shared
- Edward A Lee1 shared
- George C Necula1 shared
- Sanjit A Seshia1 shared
Grant awards (5)
Collaborative Research: FMitF: Track I: Specification-Guided Multiagent Reinforcement Learning$450,000
· FY2025 · CSE · contact PI
FMitF: Track I: Safe Multi-Agent Reinforcement Learning with Shielding$749,963
· FY2023 · CSE · contact PI
SaTC: CORE: Medium: Collaborative: Bridging the Gap between Protocol Design and Implementation through Automated Mapping$736,000
· FY2018 · CSE · contact PI
CPS: Breakthrough: Compositional System Modeling with Interfaces (COSMOI)$498,875
· FY2013 · CSE · contact PI
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design$2,250,000
· FY2012 · CSE