Ganesh Gopalakrishnan
Scholar

Ganesh Gopalakrishnan

Google Scholar ID: uvoOgnwAAAAJ
Professor of Computer Science, University of Utah
Formal AnalysisVerification tools for Concurrency
Citations & Impact
All-time
Citations
1,642
 
H-index
21
 
i10-index
34
 
Publications
20
 
Co-authors
35
list available
Resume (English only)
Academic Achievements
  • Published numerous papers and received funding from several NSF grants such as NSF 2446084, NSF 2403379, NSF 2346394, etc. Participated in PLDI 2025 Array Workshop and delivered lectures at the SPARC Lecture Series.
Research Experience
  • Currently a Professor of Computer Science at the University of Utah, serving as Principal Investigator on multiple DOE and NSF projects, including 'ComPort: Rigorous Testing Methods to Safeguard Software Porting' and 'NSF REU Site: Trust and Reproducibility of Intelligent Computation'.
Education
  • Ph.D. from State University of New York, Stony Brook in 1986.
Background
  • Research interests include supercomputing, floating-point arithmetic, and formal methods. Specializes in computer science.
Miscellany
  • Personal interests include teaching automata and computability using Google Colab.