Courses

2016-I Spring/Summer (Jan - May)

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

2015-II Autumn/Monsoon (Aug - Dec)

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