Teaching

I was a teaching assistant for the following courses offered by the Department of Computer Science and Automation at IISc:

• Automata Theory and Computability, E0-222, autumn 2018
• Formal Methods in Software Engineering, E0-272, winter 2017
• Automata Theory and Computability, E0-222, autumn 2016
• Algorithms and Programming, UE-101, autumn 2016
• Automata Theory and Computability, E0-222, autumn 2015