← Leaderboards
Frank Pfenning
Carnegie Mellon University
$2,616,134
Attributed
$5,865,583
Total exposure
11
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 $499.8K · FY2007–17$500K$375K$250K$125K$0
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
Funding mix
By agency
NSF$5,865,583 · 11
By mechanism
—$5,865,583 · 11
Top collaborators
- Robert Harper3 shared
- Anupam Datta1 shared
- Carsten E Schuermann1 shared
- Karl Crary1 shared
- Limin Jia1 shared
- Michael Kohlhase1 shared
- Natarajan Shankar1 shared
- Peter Lee1 shared
Grant awards (11)
SHF:Small: Enriching Session Types for Practical Concurrent Programming$450,000
· FY2017 · CSE · contact PI
CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems$196,132
· FY2015 · CSE · contact PI
TWC: Small: Blameworthy Programs: Accountability via Deviance and Causal Determination$499,754
· FY2014 · CSE
CPS: Breakthrough: Rigorous Integration of Decision Procedures and Numerical Algorithms for the Formal Verification of Cyber-Physical Systems$499,680
· FY2013 · CSE · contact PI
Collaborative Research: Integrating Types and Verification$451,158
· FY2007 · CSE
ITR: Formal Digital Library$1,099,986
· FY2003 · CSE
Efficient Logical Frameworks$318,662
· FY2003 · CSE · contact PI
Type Refinements$306,000
· FY2002 · CSE · contact PI
ITR/SY+SI: Language Technology for Trustless Software Dissemination$1,724,000
· FY2001 · CSE
Meta-logical Frameworks$308,211
· FY2000 · CSE · contact PI
U.S.- Germany Cooperative Research: Proof Search in Logical Frameworks$12,000
· FY2000 · O/D · contact PI