← Leaderboards
Olin G Shivers
Georgia Tech Research Corporation
$1,281,764
Attributed
$2,025,773
Total exposure
5
Grants
3
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 $664K · FY2005–22$1M$750K$500K$250K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
Funding mix
By agency
NSF$2,025,773 · 5
By mechanism
—$2,025,773 · 5
Top collaborators
- Panagiotis Manolios2 shared
- Eric M Feron1 shared
- J Strother Moore1 shared
- Santosh Pande1 shared
Grant awards (5)
Collaborative Research: SHF: Medium: Environment-Centric Analysis and Optimization for Higher-Order Languages$664,000
· FY2022 · CSE · contact PI
SoD: Collaborative: Language Towers as Design Frameworks$133,260
· FY2007 · CSE · contact PI
CSR/EHS - Certification of Safety-Critical Control Software$308,513
· FY2006 · CSE
SoD: Collaborative: Language towers as design frameworks$450,000
· FY2005 · CSE · contact PI
CRCD/EI: Integrating Functional Computer-Aided Reasoning into the ComputerScience Curriculum$470,000
· FY2004 · CSE