← Leaderboards
Nadia Polikarpova
University Of California-San Diego
$2,735,858
Attributed
$4,891,573
Total exposure
7
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.2M · FY2018–24$2.5M$1.9M$1.3M$625K$0
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$4,891,573 · 7
By mechanism
—$4,891,573 · 7
Top collaborators
- Sorin Lerner2 shared
- Eric Bakovic1 shared
- Lawrence Saul1 shared
- Leon Bergen1 shared
- Loris Dantoni1 shared
- Taylor Berg-Kirkpatrick1 shared
Grant awards (7)
FMitF : Track I: Aligning Code-Generating Models with Formal Specifications$875,000
· FY2024 · CSE
SHF: Medium: Human-Centric Program Synthesis$1,008,001
· FY2021 · CSE · contact PI
SHF: Medium: Generating Correctness Proofs with Neural Networks$1,200,000
· FY2020 · CSE
CAREER: Type-Driven Program Synthesis$640,000
· FY2020 · CSE · contact PI
SyPhon: A Framework for Automated Phonological Reasoning$402,572
· FY2020 · SBE
SHF: Small: NSF-BSF: Synthesis of Safe Pointer-Manipulating Programs$500,000
· FY2019 · CSE · contact PI
SHF: Small: Collaborative Research: Resource-Guided Program Synthesis$266,000
· FY2018 · CSE · contact PI