Ganesh Gopalakrishnan

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

• GENERAL CHAIR: Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD - VII), July 19-20, Chicago (PADTAD 2009)

• ORGANIZING COMMITTEE: EC2 2009 (Exploiting Concurrency Efficiently and Correctly, June 26-27, Grenoble, France)

• PC MEMBER: MEMOCODE 2009 (Methods and Models for Co-Design), Cambridge, MA, July 13-15, 2009

• PC MEMBER: FMCAD 2009, Austin, TX, Nov 15-18, 2009 (Formal Methods in Computer Aided Design)

• PC MEMBER: EuroPVM/MPI 2009, The 16th Euro PVM/MPI Conference, Espoo, Finland, 7-10 September, 2009

• PC MEMBER: Parallel and Distributed Model Checking (PDMC 2009), Eindhoven, Netherlands, November 4, 2009

• PC MEMBER: Supercomputing 2009 Tutorials Committee, November 14-20, 2009

• EDITORIAL BOARD: Formal Methods in System Design (Springer)

• CS 5966/6966, Multicore Computing, Spring 2009
• CS 7930, Departmental Colloquia, Spring 2009
• CS 7931, AMPS Seminar, Spring 2009
• CS 6110, Foundations of Computer Science, Fall 2008
• CS 2000, C Programming, Fall 2008