Courses

Semester: 2015 Autumn/Monsoon (Aug - Dec)
Topic Instructor Webpage
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
Abstract nonsense and its application Manoj Gopalkrishnan
Advanced Information Theory Vinod M. Prabhakaran
Financial Mathematics Sandeep K Juneja
Fourier analysis and circuit complexity Arkadev Chattopadhyay
Limits of approximation algorithms: PCPs and Unique Games Prahladh Harsha
Verification : theory and practice Ashutosh Gupta
Semester: 2014 Autumn/Monsoon (Aug - Dec)
Topic Instructor Webpage
Monte Carlo Methods and Rare Events Sandeep K Juneja
Algorithms and Data Structures Kavitha Telikepalli
Automata and Computability Jaikumar Radhakrishnan, Paritosh K Pandya
Boolean Circuit Complexity Arkadev Chattopadhyay
Introduction to Term Rewriting (Reading Course) N Raja
Mathematical Foundations for Computer Science Manoj Gopalkrishnan
Outline of Logic N Raja
Probability & Computing Prahladh Harsha Webpage
Recent Results in Theoretical Computer Science (Reading Course) Prahladh Harsha

Pages