Ramanathan S. Thinniyam

Since May 2019, I have been a postdoc at the Max Planck Institute for Software Systems, Kaiserslautern. I work with Georg Zetzsche and Rupak Majumdar . From October 2018 to March 2019, I was a Visiting Fellow at Chennai Mathematical Institute. I defended my PhD. thesis titled ``Definability and Decidability in First Order Theories of Graph Order'' on February 12, 2019. I was guided by Prof. R. Ramanujam of the Theoretical Computer Science department at the Institute of Mathematical Sciences, Chennai, India. You can find my CV here.


Research Interests

I have been working on problems related to verification of safety and liveness properties of multi-threaded programs with shared global memory. I am also interested in combinatorics on words and word equations. More generally, I like problems which lie at the intersection of logic, computation and mathematics.

Conference Publications


Journal Publications


Talks


Contact