← Leaderboards
Panagiotis Manolios
Georgia Tech Research Corporation
$1,418,845
Attributed
$2,429,807
Total exposure
7
Grants
6
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 $495.3K · FY2005–13$500K$375K$250K$125K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
Funding mix
By agency
NSF$2,429,807 · 7
By mechanism
—$2,429,807 · 7
Top collaborators
- Evgueni Goldberg2 shared
- Olin G Shivers2 shared
- J Strother Moore1 shared
Grant awards (7)
SHF: Small: Dynamic Abstractions for Verification$450,000
· FY2013 · CSE · contact PI
SHF: Small: Generation of High-Quality Tests by Treating Tests as Proof Encoding$495,258
· FY2011 · CSE · contact PI
CRCD/EI: Integrating Functional Computer-Aided Reasoning into the ComputerScience Curriculum$210,303
· FY2008 · CSE · contact PI
System-Level Processor Verification Using Refinement$104,246
· FY2008 · CSE · contact PI
SoD: Collaborative: Language towers as design frameworks$450,000
· FY2005 · CSE
CRCD/EI: Integrating Functional Computer-Aided Reasoning into the ComputerScience Curriculum$470,000
· FY2004 · CSE · contact PI
System-Level Processor Verification Using Refinement$250,000
· FY2004 · CSE · contact PI