← Leaderboards
Peter Lee
Carnegie Mellon University
$515,968
Attributed
$2,148,841
Total exposure
2
Grants
0
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$2,148,841 · 2
By mechanism
—$2,148,841 · 2
Top collaborators
- Dana S Scott1 shared
- Frank Pfenning1 shared
- Joel M Smith1 shared
- Karl Crary1 shared
- Klaus Sutner1 shared
- Michael Kohlhase1 shared
- Robert Harper1 shared