← Leaderboards
Jr Warren A Hunt
University Of Texas At Austin
$2,426,763
Attributed
$4,997,111
Total exposure
8
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 over time
peak $2.1M · FY2005–17$2.5M$1.9M$1.3M$625K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
Funding mix
By agency
NSF$4,997,111 · 8
By mechanism
—$4,997,111 · 8
Top collaborators
- J Strother Moore2 shared
- Matt Kaufmann2 shared
- Daniel Miranker1 shared
- David M Hillis1 shared
- Lauren A Meyers1 shared
- Tandy Warnow1 shared
- Yin Zhang1 shared
Grant awards (8)
Student Travel Support for the FMCAD Student Forum 2017;Vienna, Austria; October, 2017$10,000
· FY2017 · CSE · contact PI
TWC: Small: Memory Analysis and Machine-Code Verification Techniques for Multiprocessor Systems$499,999
· FY2015 · CSE · contact PI
EAGER:Theories and Tools for Safe Concurrent Data Structures$199,972
· FY2011 · CSE · contact PI
TC: Large: A Formal Platform for Analyzing Internet Routing$799,943
· FY2009 · CSE
TC: EAGER: Modularization Supporting Extensibility for an Industrial-strength Theorem Prover$299,999
· FY2009 · CSE
TC: Small: Collaborative Research: Trustworthy Hardware from Certified Behavioral Synthesis$249,989
· FY2009 · CSE
Trusted Certification Tools$2,097,966
· FY2005 · CSE · contact PI
Information Technology Research (ITR): Building the Tree of Life -- A National Resource for Phyloinformatics and Computational Phylogenetics$839,243
· FY2003 · BIO