← Leaderboards
Christopher Lynch
Clarkson University
$889,077
Attributed
$1,612,795
Total exposure
4
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 $480K · FY2008–09$500K$375K$250K$125K$0
'08
'09
Funding mix
By agency
NSF$1,612,795 · 4
By mechanism
—$1,612,795 · 4
Top collaborators
- Ashish Tiwari1 shared
- Christelle Scharff1 shared
- Harald Ruess1 shared
- Natarajan Shankar1 shared
Grant awards (4)
TC: Medium: Collaborative Research: Unification Laboratory: Increasing the Power of Cryptographic Protocol Analysis Tools$480,000
· FY2009 · CSE · contact PI
Collaborative Research: CT-M: Unification Laboratory for Cryptographic Protocol Analysis$125,000
· FY2008 · CSE · contact PI
ITR: Little Engines of Proof$904,648
· FY2003 · CSE
Collaborative Research on Semantic Unification and its Applications$103,147
· FY2001 · CSE · contact PI