Older Courses

Courses at Stony Brook University

Spring	2003	CSE667: Design and Analysis Research Seminar
Spring	2003	CSE526: Principles of Programming Languages
Fall	2002	CSE308/ISE308: Software Engineering
Spring	2002	CSE647: Reliable (Distributed) Software
Fall	2001	CSE533: Network Programming
Spring	2001	ISE440: Information System Design
Fall	2000	CSE647: Testing and Verification of Software

Courses at Indiana University

Spring	2000	B649: Principles of Concurrent Systems
Fall	1999	P436: Operating Systems
		P536: Advanced Operating Systems
Spring	1999	B649: Fault-Tolerance and Security of Distributed Systems
Fall	1998	P436: Operating Systems
		P536: Advanced Operating Systems
Spring	1998	B649: Topics in Distributed System Security
Fall	1997	P436: Operating Systems
		P536: Advanced Operating Systems
Spring	1997	B649: Topics in Distributed Systems
Fall	1996	P436: Operating Systems
		P536: Advanced Operating Systems