Courses

Course title	Instructor(s)
Optimization and Game Theory	Sandeep K Juneja
Foundations of Program Verification: Theory and Practice	Paritosh K Pandya
Digital Communication	Vinod M. Prabhakaran
Coding Theory: Reading Course	Vinod M. Prabhakaran
Introduction to Quantum Information Processing	Naresh Sharma
Detection and Estimation Theory	Onkar Dabeer
Computational Complexity	Prahladh Harsha
Computational Geometry	Subir K Ghosh
The Stochastic Thermodynamics of Computation	Manoj Gopalkrishnan

Course title	Instructor(s)
Mining of Massive Datasets	Vinod M. Prabhakaran, Onkar Dabeer
Information Theory	Vinod M. Prabhakaran
Mathematical Structures for Systems Science	Sandeep K Juneja
Machine Learning	Rahul Vaze
Mathematical Foundations for Computer Science	Jaikumar Radhakrishnan
Introduction to Probability	Pranab Sen
Elements of Mathematical Logic	N Raja
Automata and Computability	Paritosh K Pandya
Algorithms and Data Structures	Jaikumar Radhakrishnan
Information theory and cryptography	Vinod M. Prabhakaran
Concurrency and Process Algebras	Paritosh K Pandya