C. Aiswarya / Aiswarya Cyriac



I am an assistant professor at Chennai Mathematical Institute.

I was a post-doctoral researcher at Uppsala University before. I did my PhD at LSV, ENS Cachan, France. More history!

Change of name: In my native region, we follow a patronymic naming system. Hence I prefer to use my given name Aiswarya rather than Cyriac (my father's given name). If it is difficult to pronounce Aiswarya, you may simply call me Aisha ;-)


I am interested in automata theory and its applications to verification. Here is the link to my publications on DBLP.


2017 Jan - Apr

Quantitative Automata Theory (elective) -- with Paul Gastin

Logic, Automata and Games (elective) -- with M. Praveen.

2016 Aug - Nov

Theory of Computation. for BSc (Maths and CS), MSc CS, MSc Application of Mathematics (elective), Ph.D students doing course work.

2016 Jan - Apr

Quantitative Automata Theory (elective) -- with B. Srivathsan

2014 - 2015

I was the main lecturer for the course Automata and Logic in IT System Modelling in 2014 and 2015.


I was a teaching assistant ENS Cachan. More details here.