Bio as of 10/16/2010: Ganesh L. Gopalakrishnan earned his PhD in
Computer Science from Stony Brook University in 1986, joining Utah the
same year.  He spent a year each at the University of Calgary (1988),
visiting Stanford University (1995), and at Intel, Santa Clara
(2002). During his 2009 sabbatical, he helped establish the Center for
Parallel Computing at Utah and serves as its Director. He facilitated
a pilot offering of Microsoft's Practical Parallel and Concurrent
Programming course at Utah during Fall 2010. His currently active
projects are in scalable dynamic verification methods for message
passing interface (MPI) programs, symbolic verification methods for
GPU kernels, building verification tool integration frameworks,
and prototyping formal analysis methods for multicore communication
APIs, and also building FPGA based multicore systems including these APIs. 
He advises many PhD, MS, BS/MS, and BS students on a variety
of topics - all described at http://www.cs.utah.edu/fv. He will serve
as PC co-chair for CAV 2011 at Snowbird, UT.  He has authored a
textbook "Computation Engineering: Applied Automata Theory and Logic,"
and about 130 research papers.  His research is supported by NSF,
Microsoft, and SRC.