← Leaderboards
Bruce W Weide
Ohio State University Research Foundation -Do Not Use
$788,046
Attributed
$2,308,943
Total exposure
7
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 $724.8K · FY2005–12$1M$750K$500K$250K$0
'05
'06
'07
'08
'09
'10
'11
'12
Funding mix
By agency
NSF$2,308,943 · 7
By mechanism
—$2,308,943 · 7
Top collaborators
- Harvey M Friedman4 shared
- David Lee1 shared
- Dennis K Pearl1 shared
- Neelam Soundarajan1 shared
- Paolo A Sivilotti1 shared
- Paolo Bucci1 shared
- Rajiv Ramnath1 shared
- Stephen M Camp1 shared
Grant awards (7)
SHF: Medium: Collaborative Research: Specification and Mathematics Engineering for the Verified Software End-Game$476,066
· FY2012 · CSE · contact PI
Automated Support for Developing Logical Reasoning Skills in Discrete Mathematics Courses$199,775
· FY2010 · EDU · contact PI
CPA-SEL: Collaborative Research - Continuing Progress Toward Verified Software$295,106
· FY2008 · CSE · contact PI
CPATH T: NEWPATH: Nurturing, Through Entrepreneurship, IT World Leaders$649,822
· FY2007 · CSE
Collaborative Research: Logical Support for Formal Verification$75,000
· FY2007 · MPS · contact PI
ICER Midwest Workshop: Preparing IT Graduates for 2010 and Beyond$99,584
· FY2005 · CSE
ITR: Principles of Distributed Component-Based Software$513,590
· FY2000 · CSE · contact PI