# Teaching

#### 2020 Jan - Feb

#### 2019 Aug - Nov

- Concurrency Theory -- with Madhavan Mukund

#### 2019 Jan - Feb

- Logic, Automata and Games -- with M. Praveen

#### 2018 Aug - Nov

#### 2017 Aug - Nov

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