← Leaderboards
Sanjit A Seshia
University Of California-Berkeley
$3,810,644
Attributed
$7,645,644
Total exposure
12
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 $2.3M · FY2006–23$2.5M$1.9M$1.3M$625K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$7,645,644 · 12
By mechanism
—$7,645,644 · 12
Top collaborators
- Alberto L Sangiovanni Vincentelli2 shared
- Bjoern Hartmann1 shared
- Daniel J Fremont1 shared
- Edward A Lee1 shared
- George C Necula1 shared
- Necmiye Ozay1 shared
- Parasara S Duggirala1 shared
- Rastislav Bodik1 shared
Grant awards (12)
POSE: Phase II: An Open-Source Ecosystem for Scenic$1,520,000
· FY2023 · TIP · contact PI
FMitF: Collaborative Research: Formal Methods for Machine Learning System Design$294,000
· FY2018 · CSE · contact PI
CPS: Medium: Quantitative Contract-Based Synthesis and Verification for CPS Security$800,000
· FY2017 · CSE
CPS: Breakthrough: Control Improvisation for Cyber-Physical Systems$425,000
· FY2017 · CSE · contact PI
I-Corps: VeriSight CPS: Enhancing the Design and Operation of Cyber-Physical Systems with Verified Insight$50,000
· FY2016 · TIP · contact PI
STARSS: Small: Collaborative: Specification and Verification for Secure Hardware$146,667
· FY2015 · CSE · contact PI
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design$2,250,000
· FY2012 · CSE
SHF: CSR: Small: Integrated Design and Verification of High-Confidence Interactive Systems$499,977
· FY2011 · CSE · contact PI
CPS: Medium: Timing-Centric Software$790,000
· FY2010 · CSE
CAREER: Robust Reactive Systems through Verification and Learning$400,000
· FY2007 · CSE · contact PI
Collaborative Research: CT-T: Towards Behavior-Based Malware Detection$270,000
· FY2007 · CSE · contact PI
SoD-TEAM: Programming by Sketching$200,000
· FY2006 · CSE