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
- CS 253
N Introduction to Logic For Computer Science.
- CS 435 N Software Engineering.
- CS 740 Software Engineering.
Previously, on "Sanjiva Prasad's Teaching Burden":
- CS 110 N: Fall 1999.
- CS 253N: Fall 1995, Fall 1996, Fall 1997, Fall 2000
- CS 232 N Spring 1997, Spring 1998, Spring 2000
- CS 765 N: Fall 1994, Fall 1995
- CS 334 N Spring 1995, Spring 1996
- CS 498(?) M: Spring 1997
- CS 442: Spring 1998
- CS 902: Spring 1998
- CS 831: Fall 1996
- CS 908: Spring 1996
Sanjiva Prasad
/ Dept. Computer Science and Engineering / IIT Delhi / Hauz Khas/ New Delhi
110016 / sanjiva@cse.iitd.ernet.in