← Leaderboards
Benjamin C Pierce
University Of Pennsylvania
$7,450,799
Attributed
$14,649,697
Total exposure
21
Grants
17
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 $5.8M · FY2006–24$10M$7.5M$5M$2.5M$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$14,649,697 · 21
By mechanism
—$14,649,697 · 21
Top collaborators
- Stephan A Zdancewic3 shared
- Stephanie C Weirich3 shared
- Andreas Haeberlen2 shared
- Aaron Roth1 shared
- Andre Dehon1 shared
- Andrew Head1 shared
- Arthur Van Benthem1 shared
- Benjamin Lee1 shared
Grant awards (21)
Collaborative Research: National Science Foundation Expeditions in Computing: Carbon Connect -- An Ecosystem for Sustainable Computing$2,280,271
· FY2024 · CSE
SHF: Medium: Usable Property-Based Testing$1,000,000
· FY2024 · CSE · contact PI
Collaborative Research: SHF: Medium: Bringing Python Up to Speed$437,999
· FY2020 · CSE · contact PI
Collaborative Research: RAPID: Virtual Conference Platform$36,452
· FY2020 · CSE · contact PI
Collaborative Research: Expeditions in Computing: The Science of Deep Specification$3,375,811
· FY2015 · CSE
TWC: Medium: Micro-Policies: A Framework for Tag-Based Security Monitors$1,200,000
· FY2015 · CSE · contact PI
TWC: Medium: Distributed Differential Privacy$1,200,000
· FY2015 · CSE
SHF: Small: Random Testing for Language Design$500,000
· FY2014 · CSE · contact PI
Programming Languages Mentoring Workshop$30,000
· FY2013 · CSE · contact PI
Conference Support for OREGON PROGRAMMING LANGUAGES SUMMER SCHOOL, 2013$15,000
· FY2013 · CSE · contact PI
Conference Support for OREGON PROGRAMMING LANGUAGES SUMMER SCHOOL, 2012$15,000
· FY2012 · CSE · contact PI
TC: Medium: Putting Differential Privacy To Work$1,199,950
· FY2011 · CSE · contact PI
SHF: Small: Algebraic Foundations for Collaborative Data Sharing$499,998
· FY2010 · CSE · contact PI
TC: SMALL: Contracts for Precise Types$454,612
· FY2009 · CSE · contact PI
CT-T: Collaborative Research: Manifest Security$500,000
· FY2007 · CSE · contact PI
LINGUISTIC FOUNDATIONS FOR XML VIEW UPDATE$300,000
· FY2006 · CSE · contact PI
CRI: Machine Assistance for Programming Language Research$199,999
· FY2006 · CSE
Harmony: The Art of Reconciliation$315,000
· FY2004 · CSE · contact PI
ITR: Types for XML$489,605
· FY2002 · CSE · contact PI
ITR/SY+IM: Principles and Practice of Synchronization$300,000
· FY2001 · CSE · contact PI
Modular Type Systems$300,000
· FY2000 · CSE · contact PI