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.
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.
arXiv preprint arXiv:1709.03060. 2017 Sep 10 (submitted to Logical Methods in Computer Science).arxiv link.
Ramanujam R.,Thinniyam RS.
(submitted to a special issue of the Annals of Pure and Applied Logic).
Definability of recursive predicates in the induced subgraph order.
on Logic and Its Applications 2017 Jan 5 (pp. 211-223). Springer, Berlin, Heidelberg.
Definability in first order theories of graph orderings.
Ramanujam R., Thinniyam RS.
Symposium on Logical Foundations of Computer Science 2016 Jan 4 (pp. 331-348). Springer, Cham.
Thinniyam RS, Kim M, Medard M, O Reilly U.
Optical Fiber Communication (OFC), collocated National Fiber Optic Engineers
Conference, 2010 Conference on (OFC/NFOEC) 2010 Mar 21 (pp. 1-3). IEEE.
at Institute Seminar Day, March 8, 2017
at Indian Conference on Logic and its Applications (ICLA) January 5, 2017.
at International Symposium on Logical Foundations of Computer Science (LFCS) December 28, 2015.
The Institute of Mathematical Sciences
4th Cross Street, CIT campus, Taramani,