← Leaderboards
Marinus F Kaashoek
Massachusetts Institute Of Technology
$10,688,384
Attributed
$26,166,596
Total exposure
20
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 $3.3M · FY2005–25$5M$3.8M$2.5M$1.3M$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$26,166,596 · 20
By mechanism
—$26,166,596 · 20
Top collaborators
- Nickolai Zeldovich11 shared
- Robert T Morris11 shared
- Adam J Chlipala3 shared
- Shafrira Goldwasser2 shared
- Srini Devadas2 shared
- Anthony D Joseph1 shared
- Barbara H Liskov1 shared
- David MazièRes1 shared
Grant awards (20)
Collaborative Research: FMitF: Track I: Verifying distributed systems for liveness with Byzantine participants$606,430
· FY2025 · CSE
SaTC: CORE: Medium: Verifying Hardware Security Modules with Information-Preserving Refinement$1,200,000
· FY2022 · CSE
Collaborative Research: FMitF: Track I: Composable Verification of Crash-Safe Distributed Systems with Grove$500,000
· FY2021 · CSE
CSR: Medium: Collaborative Research: Soup: Flexible Storage and Processing for On-Line Applications$800,000
· FY2018 · CSE
FMitF: Verifying Concurrent System Software with Cspec$750,000
· FY2018 · CSE
SaTC: CORE: Small: verifying security for data non-interference$500,000
· FY2018 · CSE
CSR: Medium: A High-Performance Certified File System and Applications$900,000
· FY2016 · CSE · contact PI
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 · contact PI
CSR: Medium: Collaborative Research: Programming parallel in-memory data-center applications with Piccolo$330,171
· FY2011 · CSE · contact PI
SHF: Medium: Intelligent and Efficient Data Movement for Multicore Systems$1,080,000
· FY2010 · CSE · contact PI
CSR: Small: CoreTime: Dynamic Computation Migration for Multicore System Software$500,000
· FY2009 · CSE · contact PI
CSR-PSCE, SM: An Operating System for Multi-core Processors$450,000
· FY2008 · CSE
CSR-PDOS: ISG: Collaborative Research: Building distributed, wide-area applications using WheelFS$350,000
· FY2007 · CSE · contact PI
NeTS-FIND: User Information Architecture$400,000
· FY2006 · CSE
SGER: Planning Grant Proposal: Identifying Grand Challenges in Distributed Systems$100,000
· FY2005 · CSE · contact PI
CT:Securing Untrusted Software with Interposition$1,300,000
· FY2004 · CSE
ITR: Robust Large-Scale Distributed Systems$12,000,000
· FY2002 · CSE · contact PI