← Leaderboards
Elena Sherman
Boise State University
$1,208,915
Attributed
$1,708,101
Total exposure
4
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 $500K · FY2014–26$500K$375K$250K$125K$0
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
'26
Funding mix
By agency
NSF$1,708,101 · 4
By mechanism
—$1,708,101 · 4
Top collaborators
- Grady B Wright2 shared
- Donna Calhoun1 shared
- Nasir U Eisty1 shared
Grant awards (4)
FMitF: Track III: Teaching Program Specifications to the Scientific Computing Community$248,779
· FY2026 · CSE · contact PI
Collaborative Research: CIRC: Dev: Adaptable Realistic Benchmark Generator for Verification (ARG-V)$485,773
· FY2024 · CSE · contact PI
CAREER: Computing Program Invariants using Abstract Domains Search$473,549
· FY2020 · CSE · contact PI
SI2-SSE: GEM3D: Open-Source Cartesian Adaptive Complex Terrain Atmospheric Flow Solver for GPU Clusters$500,000
· FY2014 · CSE