← Leaderboards
Anton Burtsev
University Of Utah
$2,942,705
Attributed
$4,841,622
Total exposure
11
Grants
6
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.3M · FY2013–23$2.5M$1.9M$1.3M$625K$0
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$4,841,622 · 11
By mechanism
—$4,841,622 · 11
Top collaborators
- Brian C Demsky1 shared
- Gene Tsudik1 shared
- Jacobus Van Der Merwe1 shared
- John D Regehr1 shared
- Stanislaw M Jarecki1 shared
- Zvonimir Rakamaric1 shared
Grant awards (11)
FMitF: Collaborative Research: RedLeaf: Verified Operating Systems in Rust$40,133
· FY2023 · CSE · contact PI
FMitF: Track I: Safe, Efficient Persistent Memory Systems$749,999
· FY2022 · CSE
CSR: Small: Redshift: An Operating System for Pervasive Hardware Acceleration$110,322
· FY2022 · CSE · contact PI
CICI: SSC: Horizon: Secure Large-Scale Scientific Cloud Computing$75,333
· FY2022 · CSE · contact PI
CICI: SSC: Horizon: Secure Large-Scale Scientific Cloud Computing$1,031,925
· FY2018 · CSE · contact PI
SaTC: CORE: Small: Secure Computation on Large Data$500,000
· FY2018 · CSE
CSR: Small: Redshift: An Operating System for Pervasive Hardware Acceleration$468,000
· FY2018 · CSE · contact PI
FMitF: Collaborative Research: RedLeaf: Verified Operating Systems in Rust$350,000
· FY2018 · CSE · contact PI
TWC: Small: Deker: Decomposing Commodity Kernels for Verification$515,999
· FY2015 · CSE
CICI: Secure Data Architecture: CapNet: Secure Scientific Workloads with Capability Enabled Networks$499,999
· FY2015 · CSE
TWC: Small: XCap: Practical Capabilities and Least Authority for Virtualized Environments$499,912
· FY2013 · CSE