Ramanathan S. Thinniyam

I am pursuing my PhD. 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.