With over 39 years at the University of Utah, this professor has contributed to advancing the understanding of correctness in many domains including self-timed circuits, self-timed logic synthesis and high-level synthesis, programmable asynchronous microengines, symbolic simulation based on the parametric form of Boolean expressions, cache coherence protocols, weak memory models, MPI (message-passing semantics), multicore/thread verification, dynamic partial order reduction methods, GPU data race-checking, symbolic execution of CUDA, lossy data compression, model compression of neural networks, floating-point error analysis, floating-point exception checking, binary instrumentation of GPU kernels, testing-based semantics discovery of GPU Tensor Cores, Bayesian-Optimization based program testing and exception generation, homomorphic data compression, floating-point error analysis for LLVM, and many more topics over 29 PhD students that they advised and over 65 undergraduates they have mentored. They have authored two textbooks : Computation Engineering (Springer, 2006) and Automata and Computability : A Programmer’s Perspective (Taylor and Francis, 2019) - which is being freely distributed - based on publisher’s permission - at their website www.cs.utah.edu/~ganesh. They are passionate about undergraduate mentoring and won the University of Utah 2012 Beacon’s of Excellence award. They are a senior member of IEEE and an ACM Distinguished Scientist.