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.

### Defining recursive predicates in graph orders.

Thinniyam RS.

*arXiv preprint arXiv:1709.03060. 2017 Sep 10 (submitted to Logical Methods in Computer Science).arxiv link.*

### Definability in first order theories of graph orderings.

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.

Thinniyam RS.

*Indian Conference 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.

*International Symposium on Logical Foundations of Computer Science 2016 Jan 4 (pp. 331-348). Springer, Cham.*

### Network coding in optical networks with O/E/O based wavelength conversion.

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.*

### The Graph Reconstruction Conjecture.

at Institute Seminar Day, March 8, 2017

### Definability of Recursive Predicates in the Induced Subgraph Order.

at Indian Conference on Logic and its Applications (ICLA) January 5, 2017.

### Definability in First Order Theories of Graph Orderings.

at International Symposium on Logical Foundations of Computer Science (LFCS) December 28, 2015.

Room #110

The Institute of Mathematical Sciences

4th Cross Street, CIT campus, Taramani,

Chennai 600113

India

Email: thinniyam[AT]imsc[DOT]res[DOT]in