← Leaderboards
Stephanie C Weirich
University Of Pennsylvania
$5,619,040
Attributed
$8,336,247
Total exposure
14
Grants
13
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.4M · FY2006–23$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
'23
Funding mix
By agency
NSF$8,336,247 · 14
By mechanism
—$8,336,247 · 14
Top collaborators
- Benjamin C Pierce3 shared
- Stephan A Zdancewic3 shared
Grant awards (14)
SHF: SMALL:Dependency Tracking and Dependent Types$540,000
· FY2023 · CSE · contact PI
SHF: Small: Mechanized reasoning for functional programs$450,000
· FY2020 · CSE · contact PI
SHF: Medium: Collaborative Research: The Theory and Practice of Dependent Types in Haskell$638,662
· FY2017 · CSE · contact PI
Collaborative Research: Expeditions in Computing: The Science of Deep Specification$3,375,811
· FY2015 · CSE · contact PI
STUDENT MENTORING WORKSHOP AT ICFP 2015$20,250
· FY2015 · CSE · contact PI
CIF: Small: Rich Type Inference for Functional Programming$457,000
· FY2013 · CSE · contact PI
CCF-SHF Small: Beyond Algebraic Data Types: Combinatorial Species and Mathematically-Structured Programming$325,840
· FY2012 · CSE · contact PI
SHF: SMALL: Dependently-typed Haskell$502,785
· FY2011 · CSE · contact PI
Student Travel Support for Programming Language Mentoring Workshop (PLMW 2012)$15,900
· FY2011 · CSE · contact PI
SHF:Large:Collaborative Research:TRELLYS: Community-Based Design and Implementation of a Dependently Typed Programming Language$710,000
· FY2009 · CSE · contact PI
CT-T: Collaborative Research: Manifest Security$500,000
· FY2007 · CSE
A Practical Dependently-Typed Functional Programming Language$200,000
· FY2007 · CSE · contact PI
CRI: Machine Assistance for Programming Language Research$199,999
· FY2006 · CSE · contact PI
CAREER: Type-Directed Programming in Object-Oriented Languages$400,000
· FY2003 · CSE · contact PI