Ramanathan S. Thinniyam

I am pursuing my PhD.(here is the synopsis of my thesis ) in Theoretical Computer Science under the guidance of Prof. R. Ramanujam at the Institute of Mathematical Sciences, Chennai, India.

Research Interests

My research interests are in logic and graph theory. Specifically, I am working on the first order theory of graph orderings. More broadly, I find many topics at the intersection of logic, computation and mathematics fascinating. For instance, Tennenbaum's Theorem tells us what is so natural about the natural numbers. My cv is here.