| Course title | Instructor(s) |
|---|---|
| Advanced Probability | Sandeep K Juneja |
| Semantics of Computation | N Raja |
| Linear Programming and Approximation Algorithms | Umang Bhaskar |
| Automated Reasoning and Program Verification | Ashutosh Gupta |
| Expander Graphs | Prahladh Harsha Anish Ghosh |
| Information Theory | Vinod M. Prabhakaran |
| Computational Complexity | Arkadev Chattopadhyay, Piyush Kurur |
| Online Algorithms | Rahul Vaze |
| Course title | Instructor(s) |
|---|---|
| Mathematical Logic | Ashutosh Gupta |
| Probability | Vinod M. Prabhakaran |
| Math Structures for CS | Jaikumar Radhakrishnan, Prahladh Harsha |
| Automata and Computability | Paritosh K Pandya |
| Communication Complexity | Arkadev Chattopadhyay |
| Algorithmic Game Theory | Umang Bhaskar |
| Communications | Rahul Vaze |
| Real Analysis | Sandeep K Juneja |
| Algorithms and Data Structure | Kavitha Telikepalli |
| Foundational Models for Computing | N Raja |
