← Leaderboards
Fabio Somenzi
University Of Colorado At Boulder
$798,496
Attributed
$1,296,992
Total exposure
3
Grants
2
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 $500K · FY2006–20$500K$375K$250K$125K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
Funding mix
By agency
NSF$1,296,992 · 3
By mechanism
—$1,296,992 · 3
Top collaborators
- Aaron R Bradley1 shared
- Ashutosh Trivedi1 shared
Grant awards (3)
SHF: Small: Omega-Regular Objectives for Model-Free Reinforcement Learning$500,000
· FY2020 · CSE
SHF: Small: Incremental Inductive Verification: A New Direction for Model Checking$496,992
· FY2012 · CSE · contact PI
Decision Procedures for Large Scale Model Checking$300,000
· FY2006 · CSE · contact PI