← Leaderboards
Sorin Lerner
University Of California-San Diego
$5,212,143
Attributed
$11,814,928
Total exposure
15
Grants
9
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 · FY2007–25$2.5M$1.9M$1.3M$625K$0
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$11,814,928 · 15
By mechanism
—$11,814,928 · 15
Top collaborators
- Ranjit Jhala5 shared
- Hovav Shacham3 shared
- Nadia Polikarpova2 shared
- Adalbert Gerald Soosai Raj1 shared
- Deian Stefan1 shared
- Kamalika Chaudhuri1 shared
- Lawrence Saul1 shared
- Miroslav Krstic1 shared
Grant awards (15)
Towards a Large Language Model-based Smart Learning Hub for Computing Education$900,000
· FY2025 · EDU · contact PI
Collaborative Research: SHF: Small: Data-Driven Lemma Synthesis for Interactive Proofs$250,000
· FY2022 · CSE · contact PI
Collaborative Research: SaTC: CORE: Large: Building and Deploying a Verified JavaScript Runtime$1,270,000
· FY2021 · CSE
SHF: Medium: Human-Centric Program Synthesis$1,008,001
· FY2021 · CSE
SHF: Medium: Generating Correctness Proofs with Neural Networks$1,200,000
· FY2020 · CSE · contact PI
SHF: Medium: Collaborative Research: Program Analytics: Using Trace Data for Localization, Explanation and Synthesis$900,000
· FY2018 · CSE
TWC: Medium: Detection and Prevention of Data Timing Channels$1,200,000
· FY2015 · CSE
CPS: Synergy: Towards Foundational Verification of Cyber-Physical Systems$700,000
· FY2015 · CSE · contact PI
SEL: Small: Crowdsourced Software Engineering using Gamification$475,000
· FY2014 · CSE
TWC: Medium: Towards a Formally Verified Web Browser$1,110,000
· FY2012 · CSE · contact PI
SHF:Small: Bringing Extensibility and Performance to Verified Compilers$400,000
· FY2012 · CSE · contact PI
TC: Medium: Securing JavaScript Web Applications via Staged Policy Enforcement$1,151,927
· FY2010 · CSE
SHF: Small: Application Shrinking for Reducing Energy Consumption$500,000
· FY2010 · CSE · contact PI
CPA-CPL: Scalable Analysis for Concurrent Programs$350,000
· FY2008 · CSE · contact PI
CAREER: Automatically Generating and Processing Program Analyses and Optimizations$400,000
· FY2007 · CSE · contact PI