This is the page where formal methods research activities in Ganesh Gopalakrishnan's group are kept.
We have preserved our classic website that has content dating back to 1985.
Poster presentation at GTC
Mark Van der Merwe (UG REU) presented a poster at the GTC 2019 held in Santa Clara, CA, on “Effective Parallelization of Belief Propagation on the GPU”. The poster may be found here.
Ganesh's book Automata and Computability: A Programmer's Perspective is out!
Ganesh Gopalakrishnan’s UG textbook Automata and Computability: A Programmer’s Perspective has been published. One can obtain a copy from Amazon, from this link.
Correctness Workshop (part of SC'18) Keynote
Ganesh Gopalakrishnan gave a keynote at Correctness 2018: Second International Workshop on Software Correctness for HPC Applications Talk abstract and Slides are here.