Fall 2001

CS 830: Distributed Computing. CS 765: Introduction to Logic and Functional Programming.

Spring 2001

CS 902 Special Topics in Software Systems:  Automated Verification of Concurrent Systems (with Claude Petit-Pierre of EPFL)
  • CS 232  Programming Languages
  • Fall 2000

    Previously, on "Sanjiva Prasad's Teaching Burden":


    Sanjiva Prasad / Dept. Computer Science and Engineering / IIT Delhi / Hauz Khas/ New Delhi 110016 / sanjiva@cse.iitd.ernet.in