Presenter

Ganesh L. Gopalakrishnan (Senior Member of IEEE and ACM Distinguished
Scientist) earned his Ph.D. in Computer Science from Stony Brook
University in 1986, when he joined the University of Utah, and where
he has been Full Professor since 2000. He has been advisor to 32 PhD
students (26 graduated). He is known for his contributions to
correctness-checking methods for HPC systems including formal and
semi-formal methods for floating-point arithmetic error estimation,
debugging parallel and concurrent programs, and data race
detection. He has given eight SC tutorials and leads a DOE XStack
project on correctness methods to safeguard the porting of numerical
software, ensuring correctness and reproducibility. He is PI of the
REU Site TREU (Trust and Reproducibility of Intelligent
Computations). He was a sabbatical visitor at Stanford and Intel, has
mentored 60 undergraduate students to date, and authored two textbooks
on applied automata theory and logic in computer science.