Ramanathan S. Thinniyam me

I joined Division of Computer Systems , Department of Information Technology , Uppsala University on 1 June 2023 as a Tenure Track Assistant Professor. From May 2019 to April 2023, I was a postdoc at the Max Planck Institute for Software Systems, Kaiserslautern, where I worked 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.

Conference Publications


Journal Publications


Invited Talks


Contact