| Course title |
Instructor(s) |
| Automata and Computability |
Jaikumar Radhakrishnan, Paritosh K Pandya |
| Mathematical Foundations for Computer Science |
Manoj Gopalkrishnan |
| Algorithms and Data Structures |
Kavitha Telikepalli |
| Topics in Quantum Information Theory |
Naresh Sharma |
| Boolean Circuit Complexity |
Arkadev Chattopadhyay |
| Probability & Computing |
Prahladh Harsha |
| Introduction to Term Rewriting (Reading Course) |
N Raja |
| Outline of Logic |
N Raja |
| Recent Results in Theoretical Computer Science (Reading Course) |
Prahladh Harsha |
| Monte Carlo Methods and Rare Events |
Sandeep K Juneja |
