← Leaderboards
Randal E Bryant
Carnegie Mellon University
$3,736,166
Attributed
$22,150,739
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 $20.5M · FY2013–21$25M$18.8M$12.5M$6.3M$0
'13
'14
'15
'16
'17
'18
'19
'20
'21
Funding mix
By agency
NSF$22,150,739 · 6
By mechanism
—$22,150,739 · 6
Top collaborators
- Ann W Schwartz1 shared
- David Mawhinney1 shared
- Edmund M Clarke1 shared
- Elizabeth Bradley1 shared
- Ellen W Zegura1 shared
- Jeannette M Wing1 shared
- Katharine Needham1 shared
- Kenneth L Calvert1 shared
Grant awards (6)
Computing Innovation Fellows Project 2021$19,998,660
· FY2021 · CSE
SHF : Small: Certified Automated Reasoning with BDDs (CARB)$499,667
· FY2021 · CSE
STARSS: Small: Collaborative: Specification and Verification for Secure Hardware$153,333
· FY2015 · CSE · contact PI
I-Corps Site at Carnegie Mellon University: A Model Promoting University Innovation, Entrepreneurship, and Regional Growth$299,110
· FY2014 · TIP
Creating a Scalable and Reliable Peer Assessment System for Mathematical Proofs$199,969
· FY2013 · EDU · contact PI
ITR/SY: Verification Tools for Autonomous and Embedded Systems$1,000,000
· FY2001 · CSE