← Leaderboards
Zohar Manna
Stanford University
$1,483,600
Attributed
$2,923,600
Total exposure
5
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$2,923,600 · 5
By mechanism
—$2,923,600 · 5
Top collaborators
- David L Dill1 shared
- John C Mitchell1 shared
Grant awards (5)
CSR---EHS: A Modern Verifying Compiler$160,000
· FY2006 · CSE · contact PI
EHS: Constraint-based Static Analysis of Embedded and Hybrid Systems$300,000
· FY2004 · CSE · contact PI
Foundations of Event Correlation$275,600
· FY2004 · CSE · contact PI
US-Europe Cooperative Workshop: Compatability and Integration of Software Engineering Tools$28,000
· FY2004 · O/D · contact PI
ITR/SY: Computational Logic Tools for Research and Education$2,160,000
· FY2001 · CSE