← Leaderboards
Kenneth McMillan
University Of Texas At Austin
$1,073,849
Attributed
$1,657,182
Total exposure
3
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 over time
peak $1.4M · FY2024–25$2M$1.5M$1M$500K$0
'24
'25
Funding mix
By agency
NSF$1,657,182 · 3
By mechanism
—$1,657,182 · 3
Top collaborators
- Isil Dillig1 shared
- Venkat Arun1 shared
Grant awards (3)
Collaborative Research: FMitF : Track I: Specifying, Synthesizing, and Verifying Heterogeneous Coherence Protocols$299,700
· FY2025 · CSE · contact PI
FMitF: Track I: Performance Verification for Networked Systems$875,000
· FY2024 · CSE · contact PI
SHF: Small: Liveness Proofs at Scale$482,482
· FY2024 · CSE · contact PI