← Leaderboards
Rex L Page
University Of Oklahoma Norman Campus
$414,714
Attributed
$534,714
Total exposure
3
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 $210K · FY2007–10$250K$187.5K$125K$62.5K$0
'07
'08
'09
'10
Funding mix
By agency
NSF$534,714 · 3
By mechanism
—$534,714 · 3
Top collaborators
- John M Canning1 shared
Grant awards (3)
SHF: SMALL: Collaborative Research: Modular ACL2$209,996
· FY2010 · CSE · contact PI
Collaborative Proposal: Integrating Mechanized Logic into the Software Engineering Curriculum$84,718
· FY2007 · EDU · contact PI
ITR: Formal Methods Education and Programming Effectiveness: Are They Related?$240,000
· FY2000 · CSE · contact PI