← Leaderboards
Harvey M Friedman
Ohio State University Research Foundation -Do Not Use
$775,159
Attributed
$1,331,428
Total exposure
6
Grants
2
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 $476.1K · FY2007–12$500K$375K$250K$125K$0
'07
'08
'09
'10
'11
'12
Funding mix
By agency
NSF$1,331,428 · 6
By mechanism
—$1,331,428 · 6
Top collaborators
- Bruce W Weide4 shared
- Dennis K Pearl1 shared
Grant awards (6)
SHF: Medium: Collaborative Research: Specification and Mathematics Engineering for the Verified Software End-Game$476,066
· FY2012 · CSE
Automated Support for Developing Logical Reasoning Skills in Discrete Mathematics Courses$199,775
· FY2010 · EDU
CPA-SEL: Collaborative Research - Continuing Progress Toward Verified Software$295,106
· FY2008 · CSE
Collaborative Research: Logical Support for Formal Verification$75,000
· FY2007 · MPS
Collaborative Research: Theoretical Support for Mechanized Proof Assistants$69,480
· FY2004 · MPS · contact PI
Research in the Foundations of Mathematics$216,001
· FY2003 · MPS · contact PI