← Leaderboards
J Strother Moore
University Of Texas At Austin
$1,654,713
Attributed
$3,766,092
Total exposure
5
Grants
1
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–09$2.5M$1.9M$1.3M$625K$0
'05
'06
'07
'08
'09
Funding mix
By agency
NSF$3,766,092 · 5
By mechanism
—$3,766,092 · 5
Top collaborators
- Jr Warren A Hunt2 shared
- Alvin H Meyer1 shared
- Chandrajit L Bajaj1 shared
- David A Laude1 shared
- Lucia Gilbert1 shared
- Matt Kaufmann1 shared
- Olin G Shivers1 shared
- Panagiotis Manolios1 shared
Grant awards (5)
TC: EAGER: Modularization Supporting Extensibility for an Industrial-strength Theorem Prover$299,999
· FY2009 · CSE
Trusted Certification Tools$2,097,966
· FY2005 · CSE
CRCD/EI: Integrating Functional Computer-Aided Reasoning into the ComputerScience Curriculum$470,000
· FY2004 · CSE
Longhorn Scholars in Computer Sciences, Engineering and Mathematics$400,000
· FY2002 · EDU
Formal Methods Visualization$498,127
· FY2000 · CSE · contact PI