← Leaderboards
Martin Abadi
University Of California-Santa Cruz
$810,982
Attributed
$939,868
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 mix
By agency
NSF$939,868 · 4
By mechanism
—$939,868 · 4
Top collaborators
- Cormac Flanagan1 shared
Grant awards (4)
CT-ISG: Collaborative Research: Open Software Security: Principles and Systems$150,000
· FY2005 · CSE · contact PI
Checking Atomicity for Improved Multithreaded Software Reliability$257,773
· FY2003 · CSE
Distributed Authentication and Authorization: Models, Calculi, Methods$374,743
· FY2002 · CSE · contact PI
Controlled Sharing: Programming-Language Principles and Techniques$157,352
· FY2002 · CSE · contact PI