← Leaderboards
Robert Harper
Carnegie Mellon University
$2,043,974
Attributed
$4,648,414
Total exposure
6
Grants
3
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 $1.4M · FY2007–19$2M$1.5M$1M$500K$0
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
Funding mix
By agency
NSF$4,648,414 · 6
By mechanism
—$4,648,414 · 6
Top collaborators
- Frank Pfenning3 shared
- Guy E Blelloch1 shared
- Karl Crary1 shared
- Peter Lee1 shared
- Umut Acar1 shared
Grant awards (6)
SHF: Medium: Algorithmic lambda-Calculus for the Design, Analysis, and Implementation of Parallel Algorithms$1,399,291
· FY2019 · CSE
SBIR Phase I: A user-friendly point-of-care device for simultaneous G6PDH and hemoglobin determination$225,000
· FY2018 · TIP · contact PI
SHF: Small: Foundations and Applications of Higher-Dimensional Directed Type Theory$542,965
· FY2011 · CSE · contact PI
Collaborative Research: Integrating Types and Verification$451,158
· FY2007 · CSE · contact PI
Type Refinements$306,000
· FY2002 · CSE
ITR/SY+SI: Language Technology for Trustless Software Dissemination$1,724,000
· FY2001 · CSE