- PhD, Computer Science, Stony Brook University, Stony Brook, NY 11794
My research focuses on one of the central problems of computing, namely how to define the correctness of programs and check that practical programs are correct as per these definitions. My emphasis is on parallel and concurrent programs. Given that all advances in computing performance are hinged on efficient parallel computing, correctness provides the essential safety net.
See http://www.cs.utah.edu/~ganesh for my latest bio.