← Leaderboards
Dexter C Kozen
Cornell University
$1,283,847
Attributed
$2,015,692
Total exposure
6
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 $799K · FY2006–20$1M$750K$500K$250K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
Funding mix
By agency
NSF$2,015,692 · 6
By mechanism
—$2,015,692 · 6
Top collaborators
- John N Foster3 shared
- Robert Kleinberg2 shared
Grant awards (6)
SHF: Small: Semantics of Higher Order Probabilistic Programs$425,000
· FY2020 · CSE · contact PI
SaTC: CORE: Small: Collaborative: A New Approach to Federated Network Security$131,691
· FY2017 · CSE
AitF: Theory and Practice of Probabilistic Network Programming$799,000
· FY2016 · CSE
AitF: Full: Algorithms and Probabilistic Semantics for Next-Generation Networks$200,000
· FY2015 · CSE
Specialized Logics for Applications in Computer Science$250,000
· FY2006 · CSE · contact PI
Kleene Algebra$210,001
· FY2001 · CSE · contact PI