← Leaderboards
Andrew W Appel
Princeton University
$6,357,912
Attributed
$7,437,912
Total exposure
8
Grants
7
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.5M · FY2006–22$5M$3.8M$2.5M$1.3M$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
Funding mix
By agency
NSF$7,437,912 · 8
By mechanism
—$7,437,912 · 8
Top collaborators
- David P Walker2 shared
- David I August1 shared
- Douglas W Clark1 shared
- Margaret Martonosi1 shared
Grant awards (8)
Collaborative Research: FMitF: Track I: Formally Verified Numerical Methods$559,494
· FY2022 · CSE · contact PI
SHF: Small: VeriFFI -- Formally Verified Functional+C programs$499,999
· FY2020 · CSE · contact PI
Collaborative Research: Expeditions in Computing: The Science of Deep Specification$3,453,419
· FY2015 · CSE · contact PI
SHF: Medium: Collaborative Research: Principled Optimizing Compilation of Dependently Typed Languages$600,000
· FY2014 · CSE · contact PI
TC: Large:Collaborative Research: Combining Foundational and Lightweight Formal Methods to Build Certifiably Dependable Software$500,000
· FY2009 · CSE · contact PI
CT: Well-Typed Trustworthy Computing in the Presence of Transient Faults$1,100,000
· FY2006 · CSE
End-to-end source-to-object verification of interface safety$325,000
· FY2006 · CSE · contact PI
Collaborative Research: High-Assurance Common Language Runtime$400,000
· FY2002 · CSE · contact PI