Ramanathan S. Thinniyam me

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.


Research Interests

I have been working on the computational complexity of 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 . In the long term, I plan to work in practically motivated theoretical questions in the general areas of verification and concurrent programming (though I do not rule out also working on practical problems). My work has two aspects: applying existing mathematical tools and techniques to new problems, as well as coming up with new mathematical tools.

Conference Publications


Journal Publications


Invited Talks


Contact