معرفی
Ganesh Gopalakrishnan is a Professor of Computer Science at the University of Utah's School of Computing. His research focuses on software correctness, floating-point arithmetic, and formal methods for HPC applications. He leads the ComPort DOE project and NSF REU Site on Trust and Reproducibility. He has advised 26 PhD students and holds seven active NSF grants and a DOE award.
Education:
- B.Sc.(EE), National Institute of Technology Calicut (1978)
- M.Tech (EE), Indian Institute of Technology Kanpur (1980)
- PhD in Computer Science, Stony Brook University (1986)
Research Interests: Formal methods, HPC correctness, GPU debugging, floating-point error analysis, neural network compression, and reproducible scientific computing. His tools include FPBoxer, HiRace, and FPDetect.
Awards & Recognition:
- ACM Distinguished Scientist
- IEEE Senior Member
- University of Utah Beacon of Excellence Award (2012)
- NSF and DOE funding leadership
Labs & Projects: Principal Investigator of the ComPort project (DOE) and NSF REU Site. Co-developed the Jove system for automata education and the Flit floating-point testing framework.
