#### 2022 Jan - 2022 May

#### 2021 Sept - 2021 Dec

- Theory of Computation -- with K. Narayan Kumar
- Concurrency Theory -- with K. Narayan Kumar

#### 2021 April - 2021 July

#### 2020 Dec - 2021 March

#### 2020 Aug - Dec

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