Contributor

I am a Professor of Computer Science at the Kahlert School of Computing, University of Utah. I have contributed to correctness-checking methods for MPI (message-passing interface), multicore/thread systems, GPU concurrency, floating-point error and exception analysis, and binary instrumentation of GPU kernels. I have been primary advisor to 29 graduated PhD students, mentored over 65 undergraduates, and lead an NSF REU Site on Trust and Reproducibility of Intelligent Computation. I have authored two textbooks : Computation Engineering (Springer, 2006) and Automata and Computability : A Programmer's Perspective (Taylor and Francis, 2019) - the latter is being freely distributed - based on publisher's permission - at their website www.cs.utah.edu/~ganesh. I have won the University of Utah 2012 Beacon's of Excellence award for undergraduate mentoring. I am a senior member of IEEE and an ACM Distinguished Scientist. My research is supported by NSF and DOE as detailed on my homepage.