← Leaderboards
Tim Sheard
Oregon Health & Science University
$1,896,966
Attributed
$1,896,966
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. They are the sole PI on all grants (the two match).
Funding over time
peak $668.2K · FY2006–13$1M$750K$500K$250K$0
'06
'07
'08
'09
'10
'11
'12
'13
Funding mix
By agency
NSF$1,896,966 · 5
By mechanism
—$1,896,966 · 5
Top collaborators
No co-investigators on record.
Grant awards (5)
SHF: Small: Generic Dependently Typed Programming by Reflecting a Predicative Hierarchy of Universes$374,960
· FY2013 · CSE · contact PI
SHF:Large:Collaborative Research:TRELLYS: Community-Based Design and Implementation of a$668,182
· FY2009 · CSE · contact PI
Mitigating human error in programs through combined language/reasoning systems$300,000
· FY2006 · CSE · contact PI
SoD-HCER Semantics Based System Design Using Omega$242,678
· FY2006 · CSE · contact PI
Heterogeneous Meta Programming Systems$311,146
· FY2001 · CSE · contact PI