2020 Jan - Feb
2019 Aug - Nov
2019 Jan - Feb
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
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.