This semester, I am a teaching assistant for IDC204 (Theory of Computation).
A few references for this course, beyond the recommended textbooks:
- Theory of Computation, a course taught by Prof. Michael Sipser at MIT. This is a part of MIT's open courseware (OCW) with lecture notes, problem sets, exams, and recorded lectures (which can also be found on YouTube).
- Theory of Automata, Formal Languages and Computation, recorded lectures from a course taught by Prof. Kamala Krithivasan at IIT-Madras. I have not watched these lectures, but a cursory glance over the contents seems to suggest it covers everything from our course, and much more.
- Automata and Complexity, a course taught by Dr. Abrahim Ladha and Dr. Vijay Ganesh at Georgia Tech. The linked page has lecture notes, and a corresponding set of recorded lectures on YouTube. Again, I have not gone through it in any depth, but it appears to subsume everything we will be interested in for now.
Past Teaching:
- Teaching assistant for MTH306 (Lebesgue Measure and Integration) in spring semester (2026) at IISER-Mohali.
- Teaching assistant for MTH302 (Linear Algebra) in monsoon semester (2025) at IISER-Mohali.