Ganesh Gopalakrishnan, Professor, Computer Science,
University of Utah,
50 S Central Campus Dr Rm 3190,
Salt Lake City, UT 84112-9205
Email : firstname at    c s  o u t a h o e d u
Phone: (801) 581-3568
Fax:     (801) 581-5843
Office: 3428 MEB 

• PC Member, 3rd International Conference on Runtime Verification (RV), Istanbul, Turkey, September 25-28, 2012
• PC Member (Tutorials), International Supercomputing Conference (ISC)
• PC Member (ERC), Principles and Practices of Parallel Programming, New Orleans, 2012
• PC Member, 18th International Symposium on Formal Methods, 2012
• PC Member, EuroMPI 2012
• Editorial Board of the journal Formal Methods in System Design (Springer)

• CS 6110 Foundations of Computer Science, 11:50 - 13:10, 1225 MEB , Spring 2012
• CS 6930 Formal Verification ("AMPS") Seminar, Fridays, 10:45-12:00, 3105 MEB , Spring 2012
• CS 7930 Computer Science Colloquium Series, Spring 2012