← Leaderboards
Patricia Johann
Dickinson College
$2,217,570
Attributed
$2,217,570
Total exposure
7
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. They are the sole PI on all grants (the two match).
Funding over time
peak $613.1K · FY2007–22$1M$750K$500K$250K$0
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
Funding mix
By agency
NSF$2,217,570 · 7
By mechanism
—$2,217,570 · 7
Top collaborators
No co-investigators on record.
Grant awards (7)
SHF:Small:RUI: Deep Induction Rules for Advanced Data Types$613,086
· FY2022 · CSE · contact PI
SHF:Small:RUI: Semantic Complexity of Advanced Data Types$510,823
· FY2019 · CSE · contact PI
SHF: Small: RUI: New Foundations for Indexed Programming$463,504
· FY2017 · CSE · contact PI
SHF: Small: Relational Parametricity for Program Verification$450,474
· FY2014 · CSE · contact PI
RUI:Initial Algebra Packages for GADTs: Principled Tools for Structured Programming$45,329
· FY2007 · CSE · contact PI
RUI: Provable Safety for Performance-Improving Free Theorems-Based Program Transformations$123,780
· FY2004 · CSE · contact PI
RUI: Testing and Enhancing a Prototype Program Fusion Engine$10,574
· FY2001 · CSE · contact PI