| Course No |
Course Title |
Instructor |
Day-Time / Classroom |
| E0 223 |
Automated Verification |
Aditya Kanade |
T, Th – 10.00 AM – 11.30 AM CSA - 252 |
| E0 231 |
Algorithmic Algebra |
Ambedkar Dukkipati |
T, Th – 11.30 AM – 1.00 PM L4 - CLH |
| E0 238 |
Artificial Intelligence |
V. Susheela Devi |
T, Th – 11.30 AM – 1.00 PM CSA - 252 |
| E0 241 |
Computer Communication Networks |
Shalabh Bhatnagar |
T, Th – 2.00 PM – 3.30 PM CSA - 252 |
| E0 353 |
Topics in Operating Systems |
K. Gopinath |
* * * * * |
| E0 254 |
Network and Distributed Systems Security |
R.C. Hansdah |
M, W – 3.30 PM – 5.00 PM L6 - C L H |
| E0 255 |
Compiler Design |
Y.N. Srikant / Uday Kumar Reddy |
M, W – 10.00 AM – 11.30 AM CSA - 117 |
| E0 268 |
Data Mining |
M. Narasimha Murty / S K Shevade |
T, Th – 8.30 AM – 10.00 AM CSA - 117 |
| E0 270 |
Machine Learning |
Shivani Agarwal / Indrajit Bhattacharyya |
T, Th – 11.30 AM – 1.00 PM CSA - 117 |
| E0 271 |
Computer Graphics |
Vijay Natarajan |
M, W – 11.30 AM – 1.00 PM CSA - 252 |
| E0 272 |
Formal Methods in Software Engineering |
K.V. Raghavan / Deepak D’Souza |
T, Th - 5.00 PM - 6.30 PM CSA - 252 |
| E0 320 |
Topics in Graph Theory |
L. Sunil Chandran |
M, W – 2.00 PM – 3.30 PM CSA - 117 |
| E0 325 |
Topics in Algorithms |
Sathish Govindarajan / Ramesh Hariharan / Nisheeth Vishnoi |
M, F - 10.00 AM - 11.30 AM CSA - 252 |
| E0 335 |
Topics in Cryptology |
Sanjit Chatterjee |
M, W – 3.30 PM – 5.00 PM CSA - 252 |
| E0 343 |
Topics in Computer Architecture |
T. Matthew Jacob |
* * * * * |
| E0 361 |
Topics in Database Systems |
Jayant Haritsa |
W, F – 10.00 AM – 11.30 AM CSA - 252 |
| E0 374 |
Topics in Combinatorial Geometry |
Sathish Govindarajan |
T, Th - 5.00 PM - 6.30 PM CSA - 117 |
| E1 254 |
Game Theory |
Y. Narahari |
T, Th – 10.00 AM – 11.30 AM CSA - 117 |
| E1 335 |
Cognition and Machine Intelligence |
C.E. Veni Madhavan |
T, Th – 2.00 PM – 3.30 PM CSA - 117 |
| - |
Number Theory |
Dilip Patil / Sanjit Chatterjee |
F – 11.30 AM – 1.00 PM CSA - 117 |
