Presenter

Ganesh Gopalakrishnan is a Professor of Computer Science at the Kahlert School of Computing, University of Utah. His interests are in formal reasoning methods for all forms of parallelism and concurrency, floating-point precision and exception related topics, symbolic execution, and GPUs. He leads a DOE XStack project on correctly porting software across GPUs and other accelerators. He has served as advisor for 32 PhD students (26 graduated) and over 60 undergraduate REUs. He directs an NSF REU Site on Trust and Reproducibility. He is a Senior Member of IEEE and an ACM Distinguished Scientist.