← Leaderboards
Thomas A Henzinger
University Of California-Berkeley
$2,024,962
Attributed
$3,949,923
Total exposure
5
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$3,949,923 · 5
By mechanism
—$3,949,923 · 5
Top collaborators
- George C Necula2 shared
- David Wagner1 shared
- Rastislav Bodik1 shared
Grant awards (5)
ITR/Language-Based Software Security$900,000
· FY2003 · CSE
Towards Predictability and Portability in Embedded Software$225,000
· FY2002 · CSE · contact PI
Workshop on Embedded Software$15,000
· FY2001 · CSE · contact PI
ITR: The Open Source Quality Project$2,499,923
· FY2000 · CSE
Games, Time, and Probabilities in Model Checking$310,000
· FY2000 · CSE · contact PI