Ganesh Gopalakrishnan
- Professor
- 3428 MEB
- p: 801.581.3563
- f: 801.581.5843
- first name@cs.utah.edu
- Personal Homepage
Background
Ganesh received his PhD in Computer Science at Stony Brook University in 1986.
Research Interests
Dynamic formal verification of message passing (MPI) and thread programs, formal analysis/verification of protocols, Verification tool development
