(my other ride)
(Twente PhD Exam)
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
Full name: Ganesh Lalitha Gopalakrishnan
(Center for Parallel Computing (CPU): Publications, Software, People, ...)
(FV Research Group: Publications, Software, People, ...)
CLASS FOR SPRING 2019: CS 5100/6100: Foundations of CS
(Common website for both classes)
CLASS FOR FALL 2019: CS 3100: Models of Computation
(Fall 2018 website is here; will be modified for Fall 2019)
NEW: My book
``Automata and Computability: Programmer's Perspective''
The Amazon link is here.
This image combines an image taken with Hubble Space Telescope in the optical
(taken in spring 2014) and observations of its auroras in the ultraviolet, taken in 2016.
Credit: NASA, ESA.
Creative Commons Attribution 4.0 International license
Its software "Jove" is on Github
My Fall 2018 offering based on this book, including Youtube videos,
slides, and syllabus
Center for Parallel Computing at Utah (CPU)
Formal Methods in System Design (Springer)
Last modified March 2019