← Leaderboards
John G Morrisett
Harvard University
$7,383,436
Attributed
$17,635,408
Total exposure
12
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 $10.1M · FY2005–25$20M$15M$10M$5M$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$17,635,408 · 12
By mechanism
—$17,635,408 · 12
Top collaborators
- Andrew C Myers1 shared
- Elaine Shi1 shared
- Gu Yeon Wei1 shared
- John N Foster1 shared
- Malte F Jung1 shared
- Matthew D Welsh1 shared
- Mema Roussopoulos1 shared
- Radhika Nagpal1 shared
Grant awards (12)
Collaborative Research: CUE-T: Expanding the undergraduate AI talent pipeline by democratizing access to instructional capabilities across institutions of higher education (IHEs)$1,388,966
· FY2025 · CSE · contact PI
FMitF: Track I: Petr4: Formal Foundations for Programmable Networks$749,995
· FY2019 · CSE
SaTC: CORE: Large: Viaduct: A Framework for Automatically Synthesizing Cryptographic Protocols$2,499,998
· FY2017 · CSE
CPS: Synergy: Coordinated Action Among Independent Mobile Cyber-Physical Systems$799,995
· FY2016 · CSE
SHF: Medium: Collaborative Research: Principled Optimizing Compilation of Dependently Typed Languages$500,188
· FY2015 · CSE · contact PI
SHF: Small: Collaborative Research: Reusable Tools for Formal Modeling$218,710
· FY2012 · CSE · contact PI
Collaborative Research: RoboBees: A Convergence of Body, Brain and Colony$9,301,955
· FY2009 · CSE
TC: Large: Collaborative Research: Combining Foundational and Lightweight Formal Methods to Build Certifiably Dependable Software$570,000
· FY2009 · CSE · contact PI
TC: Small: Collaborative Research: Securing Multilingual Software Systems$215,083
· FY2009 · CSE · contact PI
CRI: CRD: Public web-based photo-collections as a research testbed$508,044
· FY2007 · CSE
Collaborative Research: Integrating Types and Verification$308,842
· FY2007 · CSE · contact PI
NeTS-NOSS: Regiment: A Macroprogramming Language and Runtime System for Sensor Networks$573,632
· FY2005 · CSE