← Leaderboards
Zhong Shao
Yale University
$7,440,541
Attributed
$10,300,217
Total exposure
17
Grants
16
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.1M · FY2005–23$2.5M$1.9M$1.3M$625K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$10,300,217 · 17
By mechanism
—$10,300,217 · 17
Top collaborators
- Abhishek Bhattacharjee1 shared
- Anurag Khandelwal1 shared
- Bryan A Ford1 shared
- Daniel J Abadi1 shared
- James Aspnes1 shared
- Jan Hoffmann1 shared
- Ji Yong Shin1 shared
- Jung-Eun Kim1 shared
Grant awards (17)
SHF: Small: Compositional Certified Concurrent Abstraction Layers$540,000
· FY2023 · CSE · contact PI
PPoSS: Planning: High-Performance Certified Trust for Global-Scale Applications$250,000
· FY2021 · CSE · contact PI
FMitF: Track I: ADVERT: Compositional Atomic Specifications for Distributed System Verification$749,943
· FY2020 · CSE · contact PI
SaTC: CORE: Small: Partition-Oblivious Real-Time Hierarchical Scheduling$531,905
· FY2020 · CSE
SaTC: CORE: Small: Formal End-to-End Verification of Information-Flow Security for Complex Systems$500,000
· FY2017 · CSE · contact PI
AitF: The Fuzzy Log: A Unifying Abstraction for the Theory and Practice of Distributed Systems$600,000
· FY2016 · CSE · contact PI
NeTS: Small: A Virtualized Network Resource Pool for Software-Defined Network Management$350,702
· FY2016 · CSE · contact PI
Collaborative Research: Expeditions in Computing: The Science of Deep Specification$2,062,445
· FY2015 · CSE · contact PI
SHF: Small: VeriQ: Formal Quantitative Software Verification in Realistic Application Scenarios$449,721
· FY2013 · CSE · contact PI
TC: Medium: Making OS Kernels Crash-Proof by Design and Certification$1,116,262
· FY2011 · CSE · contact PI
TC:Large:Collaborative Research:Combininig Foundational and Lightweight Formal Methods to Build Certifiably Dependable Software$580,000
· FY2009 · CSE · contact PI
TC:Small: Formal Reasoning about Concurrent Programs for Multicore and Multiprocessor Machines$500,000
· FY2009 · CSE · contact PI
CPA-SEL-T: Domain Specific Languages, Logics, and Proofs for Certified Software Design$869,239
· FY2008 · CSE · contact PI
CT-ISG: Certified Runtime Code Manipulation$100,000
· FY2007 · CSE · contact PI
CT-ISG: Modular Development of Certified Concurrent Code$400,000
· FY2005 · CSE · contact PI
Collaborative Research: High-Assurance Common Language Runtime$400,000
· FY2002 · CSE · contact PI
ITR: FLINT---A Mobile-Code Infrastructure for Advanced Languages$300,000
· FY2000 · CSE · contact PI