Bio as of 12/31/07: Ganesh Gopalakrishnan got his PhD in Computer
Science from Stony Brook University in 1986, and joined the faculty at
the School of Computing, University of Utah, the same year. He spent a
year each at the University of Calgary (1988), Stanford University
(1995), and Intel, Santa Clara (2002). His interests are generally in
the area of applying formal specification and verification methods to
practical situations involving concurrency. His recent work includes:
formal verification of cache coherence protocols, shared memory
models, model checking methods for message passing interface (MPI)
programs and thread programs, partial order reduction methods, and
annotation based parallelization (e.g., OpenMP).  He currently advises
five PhD students and two undergraduates, has authored a textbook
"Computation Engineering: Applied Automata Theory and Logic," and
about 120 research papers.  His research is supported by Microsoft
under the HPC Institutes program, by NSF, by an Intel Customization
grant from SRC, and by IBM.