← Leaderboards
Robert L Constable
Cornell University
$800,400
Attributed
$960,800
Total exposure
4
Grants
4
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 mix
By agency
NSF$960,800 · 4
By mechanism
—$960,800 · 4
Top collaborators
- Mark Bickford1 shared
- Wilfried Sieg1 shared
Grant awards (4)
CSR-EHS: Developing a Theory of Events to Improve Distributed Systems$180,000
· FY2006 · CSE · contact PI
Enabling Large-Scale Coherency Among Mathematical Texts in the NSDL$460,000
· FY2003 · EDU · contact PI
Innovative Programming Technology for Embedded Systems$300,000
· FY2002 · CSE · contact PI
U.S.-Germany Cooperative Research: Enhancing Proof Assistant Systems$20,800
· FY2001 · O/D · contact PI