
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.
Many items are being put out at once (the papers mentioned below are on our PUBLICATIONS page):
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 Gopalakrishnan’s UG textbook Automata and Computability: A Programmer’s Perspective has been published. One can obtain a copy from Amazon, from this link.