Teaching

Teaching Assistant

• Won the Best TA award.
• Conducted weekly doubt clearing sessions.
• Co-designed and graded assignments, assessments, and final projects.

Symbolic Logic and Applications | August 2025 - December 2025

• Course description: link

Theory of Computation | January 2026 - May 2026

• Course description: link

Talks

Weighted Automata

• As a TA for Theory of Computation, I gave a lecture on weighted automata.
• Lecture slides: Keynote · PowerPoint

Markov Decision Processes

• Delivered a presentation on Markov Decision Processes and its application to Reinforcement Learning as a part of my ‘Games on Graphs’ course.
• Lecture slides: PDF