← Leaderboards
Nickolai Zeldovich
Massachusetts Institute Of Technology
$3,599,880
Attributed
$11,586,425
Total exposure
13
Grants
6
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 $3.3M · FY2010–25$5M$3.8M$2.5M$1.3M$0
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$11,586,425 · 13
By mechanism
—$11,586,425 · 13
Top collaborators
- Marinus F Kaashoek11 shared
- Robert T Morris5 shared
- Adam J Chlipala3 shared
- Shafrira Goldwasser2 shared
- Srini Devadas2 shared
- Hari Balakrishnan1 shared
- Henry Corrigan-Gibbs1 shared
- Joseph D Tassarotti1 shared
Grant awards (13)
Collaborative Research: FMitF: Track I: Verifying distributed systems for liveness with Byzantine participants$606,430
· FY2025 · CSE · contact PI
SaTC: CORE: Medium: Verifying Hardware Security Modules with Information-Preserving Refinement$1,200,000
· FY2022 · CSE · contact PI
Collaborative Research: FMitF: Track I: Composable Verification of Crash-Safe Distributed Systems with Grove$500,000
· FY2021 · CSE · contact PI
FMitF: Verifying Concurrent System Software with Cspec$750,000
· FY2018 · CSE · contact PI
SaTC: CORE: Small: verifying security for data non-interference$500,000
· FY2018 · CSE · contact PI
CSR: Medium: A High-Performance Certified File System and Applications$900,000
· FY2016 · CSE
CSR: Small: Operating Systems Kernels in High-Level Languages$500,000
· FY2016 · CSE
TWC: TTP Option: Frontier: Collaborative: MACS: A Modular Approach to Cloud Security$3,300,000
· FY2014 · CSE
EAGER: Holistic Security for Cloud Computing: Computing on Encrypted Data$300,000
· FY2013 · CSE
CSR: Medium: Collaborative Research: The Commutativity Rule for Scalable Systems Software$299,995
· FY2013 · CSE
III: Medium: Scalable and Secure Database as a Service$1,200,000
· FY2011 · CSE
CAREER: System-Wide Intrusion Recovery Using Selective Re-execution$450,000
· FY2011 · CSE · contact PI
SHF: Medium: Intelligent and Efficient Data Movement for Multicore Systems$1,080,000
· FY2010 · CSE