Courses

Semester: 2016 Autumn/Monsoon (Aug - Dec)
Topic	Instructor	Webpage
Adv. Information Theory	Vinod M. Prabhakaran

Semester: 2016 Spring/Summer (Jan - May)
Topic	Instructor	Webpage
Advanced Probability	Sandeep K Juneja
Automated Reasoning and Program Verification	Ashutosh Gupta	Webpage
Computational Complexity	Arkadev Chattopadhyay, Piyush Kurur
Expander Graphs	Prahladh Harsha Anish Ghosh	Webpage
Information Theory	Vinod M. Prabhakaran
Linear Programming and Approximation Algorithms	Umang Bhaskar
Online Algorithms	Rahul Vaze
Semantics of Computation	N Raja

Semester: 2015 Autumn/Monsoon (Aug - Dec)
Topic	Instructor	Webpage
Algorithmic Game Theory	Umang Bhaskar
Algorithms and Data Structure	Kavitha Telikepalli
Automata and Computability	Paritosh K Pandya
Communication Complexity	Arkadev Chattopadhyay
Communications	Rahul Vaze
Foundational Models for Computing	N Raja
Math Structures for CS	Jaikumar Radhakrishnan, Prahladh Harsha
Mathematical Logic	Ashutosh Gupta
Probability	Vinod M. Prabhakaran
Real Analysis	Sandeep K Juneja

Semester: 2015 Spring/Summer (Jan - May)
Topic	Instructor	Webpage
computational complexity	Pranab Sen

Pages