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.
• 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