← Leaderboards
Jonathan Aldrich
Carnegie Mellon University
$1,615,282
Attributed
$2,500,491
Total exposure
5
Grants
5
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.6M · FY2006–19$2M$1.5M$1M$500K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
Funding mix
By agency
NSF$2,500,491 · 5
By mechanism
—$2,500,491 · 5
Top collaborators
- Joshua S Sunshine2 shared
- Keenan Crane1 shared
Grant awards (5)
SHF: Medium: Gradual Verification$1,085,511
· FY2019 · CSE · contact PI
SHF: Small: Declaratively Creating Semantics-driven Visualizations$513,680
· FY2019 · CSE · contact PI
Collaborative Research: Teaching Software Modularity through Architectural Review$95,300
· FY2012 · EDU · contact PI
CPA-SEL: Practical Typestate Verification with Assume-Guarantee Reasoning$316,000
· FY2008 · CSE · contact PI
CAREER: Lightweight Modeling and Enforcement of Architectural Behavior$490,000
· FY2006 · CSE · contact PI