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, EuroMPI, Madrid, Spain, September 2013.

• PC Member, Formal Methods in Computer Aided Design (FMCAD), Portland, Oregon, November 2013.

• PC Member, Supercomputing, Denver, November, 2014.

• PC Member, Principles and Practices of Parallel Programming (PPoPP), Orlando, Florida, 2014. Abstract: 9/8/13; Paper: 9/15/13; Notification: 11/12/13.

• PC Member, Programming Language Design and Implementation (PLDI), Orlando, Edinburgh, UK, 6/9/14--6/11/14. Abstract: 11/8/13; Paper: 11/15/13; Notification: 2/5/14.

• Editorial Board of the journal Formal Methods in System Design (Springer)

• CS 2100 My CS2100 book draft (Discrete Structures, with emphasis on Circuits, BDDs, SMT, Func. prog. in Python) - comments welcome , Fall 2013
• CS 3100 My CS3100 book draft (Models of Computation, with emphasis on Python-based Func. Prog. of NFA/DFA/RE operations - comments welcome , Fall 2013