← Leaderboards
Hamid Bagheri
University Of California-Irvine
$1,014,502
Attributed
$1,655,087
Total exposure
4
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 $964.9K · FY2016–21$1M$750K$500K$250K$0
'16
'17
'18
'19
'20
'21
Funding mix
By agency
NSF$1,655,087 · 4
By mechanism
—$1,655,087 · 4
Grant awards (4)
FMitF: Track I: Flow Modeling Meets Software Verification: Redesign Internet Congestion Control for Performance and Verifiability$766,000
· FY2021 · CSE
EAGER: CCF: SHF: Scalable Software Verification through Automated Derivation of Domain-Specific Optimization Tactics$198,944
· FY2021 · CSE · contact PI
CRII: SHF: Leveraging Synthesis for Dynamic Design Space Analysis$174,973
· FY2018 · CSE · contact PI
SHF: Small: Efficient Formal Analysis of Evolving Software Systems$515,170
· FY2016 · CSE