# C. Aiswarya / Aiswarya Cyriac

### Hello!

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* ;-)

### Research

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

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

#### 2010-2013

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