← Leaderboards
Ganesh L Gopalakrishnan
University Of Utah
$6,671,361
Attributed
$11,079,601
Total exposure
28
Grants
24
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 $2M · FY2005–25$2M$1.5M$1M$500K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$11,079,601 · 28
By mechanism
—$11,079,601 · 28
Top collaborators
- Mary W Hall5 shared
- Zvonimir Rakamaric5 shared
- Hari Sundar2 shared
- Dennis L Parker1 shared
- Erik L Brunvand1 shared
- Gary Lindstrom1 shared
- John M Hollerbach1 shared
- Konrad Slind1 shared
Grant awards (28)
Collaborative Research: CS2: DANUBE: Formal Methods for Scientific Computing Bridging the Data-Numerics Behavior Tug-of-War$375,000
· FY2025 · CSE · contact PI
Travel: 2025 International Workshop on Verification of Scientific Software (VSS)$12,500
· FY2025 · CSE · contact PI
Collaborative Research: CIRC: Medium: New: Workbench for Reliable and Efficient Numerics$1,158,953
· FY2024 · CSE
Collaborative Research: SHF: Medium: SCIOPT: Toward Certifiable Compression-Aware SciML Systems$819,000
· FY2024 · CSE · contact PI
REU Site: Trust and Reproducibility of Intelligent Computation$405,000
· FY2023 · CSE · contact PI
Collaborative Research: SHF: Medium: Practical and Rigorous Correctness Checking and Correctness Preservation for Irregular Parallel Programs$499,570
· FY2020 · CSE · contact PI
FMiTF: Track II: Rigorous and Versatile Float-Point Precision Analysis and Tuning$116,000
· FY2019 · CSE · contact PI
SHF: Small: Indy: Toward Safe and Fast Compiler Flags$497,430
· FY2018 · CSE · contact PI
SHF: Medium: Hierarchical Tuning of Floating-Point Computations$1,224,000
· FY2017 · CSE · contact PI
EAGER: Application-driven Data Precision Selection Methods$299,970
· FY2016 · CSE · contact PI
2017 Software Infrastructure for Sustained Innovation (SI2) Principal Investigator Workshop$118,543
· FY2016 · CSE · contact PI
SI2-SSE: Scalable Multifaceted Graphical Processing Unit (GPU) Program Debugging$435,482
· FY2015 · CSE · contact PI
CSR: SMALL: Design Validation Methods for Reliable and Efficient Floating-Point$414,341
· FY2014 · CSE · contact PI
XPS: EXPL: CCA: Collaborative Research: Nixing Scale Bugs in HPC Applications$166,000
· FY2014 · CSE · contact PI
CCF: SHF: Medium: Collaborative Research: A Static and Dynamic Verification Framework for Parallel Programming$431,994
· FY2013 · CSE · contact PI
EAGER: Memory Models: Specification and Verification in a Concurrency Intermediate Verification Language (CIVL) Framework$300,000
· FY2013 · CSE
Collaborative Research: Localized, Layered Formal Hardware/Software Resilience Methods$131,498
· FY2013 · CSE · contact PI
SI2-SSE: Correctness Verification Tools for Extreme Scale Hybrid Concurrency$490,279
· FY2012 · CSE · contact PI
EAGER: Formal Reliability Enhancement Methods for Million Core Computational Frameworks$200,000
· FY2012 · CSE · contact PI
Travel and Registration Support for Computer Aided Verification 2011$7,000
· FY2011 · CSE · contact PI
CPS: Medium: Safety-Oriented Hybrid Verification for Medical Robotics$549,000
· FY2010 · CSE
Collaborative Research: MCDA: Formal Analysis of Multicore Communication APIs and Applications$188,299
· FY2009 · CSE · contact PI
CPA-DA: Formal Methods for Multi-core Shared Memory Protocol Design$298,000
· FY2008 · CSE · contact PI
CSR-SMA: Toward Reliable and Efficient Message Passing Software Through Formal Analysis$449,996
· FY2005 · CSE · contact PI
ITR: Protocol Synthesis and Verification$286,982
· FY2002 · CSE · contact PI
ITR: Formal Methods for Robust Embedded Software$443,737
· FY2000 · CSE · contact PI
Microengines for Programmable Self-timed Control$412,914
· FY2000 · CSE
Formalization and Verification of Computer System Interconnect Busses$348,113
· FY2000 · CSE · contact PI