Ganesh Gopalakrishnan
Ganesh L. Gopalakrishnan, Professor of Computer Science, School of Computing, University of Utah, directs Graduate Studies and the Center for Parallel Computing. His research covers HPC program dependability, including data race checking for OpenMP/GPU, HPC system resilience, rigorous floating-point analysis (error analysis, precision tuning, portability checking), dynamic analysis of MPI, and binary tracing for debugging. He has graduated 21 PhDs, mentored 38 UGs, and written two books (Applied Automata Theory and Logic, 2006, and Automata and Computability: Programmer's Perspective, 2019).

He is an ACM Distinguished Scientist, an IEEE Senior Member, a co-chair of these conferences: Advanced Research on Asynchronous Circuits and Systems (1994, co-founded), Formal Methods in Computer Aided Design conference (1998), Computer Aided Verification conference (2011). He was area vice-chair of Programming Languages (SC16), gave a keynote at the SC2018 correctness workshop, and taught a one-week Govt. of India sponsored course on HPC (2018).
Floating Point
Software Engineering
Back To Top Button