← Leaderboards
Deian Stefan
University Of California-San Diego
$2,010,510
Attributed
$3,828,354
Total exposure
5
Grants
5
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.9M · FY2019–23$2M$1.5M$1M$500K$0
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$3,828,354 · 5
By mechanism
—$3,828,354 · 5
Top collaborators
- Ranjit Jhala4 shared
- Sorin Lerner1 shared
Grant awards (5)
Collaborative Research: SaTC: CORE: Medium: Refine the Gap: Establishing Safety for Modern Foreign Function Interfaces$526,354
· FY2023 · CSE · contact PI
Collaborative Research: SaTC: CORE: Medium: End-to-end Verified Secure Sandboxed Systems$900,000
· FY2022 · CSE · contact PI
Collaborative Research: SaTC: CORE: Large: Building and Deploying a Verified JavaScript Runtime$1,270,000
· FY2021 · CSE · contact PI
CAREER: Principled and practical secure compilation using WebAssembly$616,000
· FY2021 · CSE · contact PI
FMitF: Collaborative Research: Track I: Finding and Eliminating Bugs in Operating Systems$516,000
· FY2019 · CSE · contact PI