Ramanathan Srinivasan Thinniyam
I am pursuing my PhD. under the guidance of Prof. R. Ramanujam at the Institute of Mathematical Sciences, Chennai, India.
I am currently working on first order theories of graph orderings i.e. the set of all finite, unlabelled graphs ordered by various orders such as subgraph, minor etc. The primary focus of the study is on the definability / indefinability in these objects and an attempt to see how much of graph theory can be formalised in them. Other issues include decidability of such theories and their connections with various other branches of study such as descriptive complexity. My broader research interests are subject areas which explore the interplay between logic, computation and mathematics, such as descriptive complexity, proof complexity, reverse mathematics, bounded arithmetic etc. I would like to explore these fields in future.
Email : thinniyam at imsc dot res dot in
Office address: Room 110, Institute of Mathematical Sciences, CIT campus, Taramani, Chennai 600113, India
Phone Number : 044-22543110