My Course Listings

• Fall 2003
  
  1. CIS 706 - Translator Design
  2. CIS 720 - Advanced Operating Systems
  3. CIS 740 - Advanced Software Engineering
• Spring 2004
  
  1. CIS 721 - Real Time Systems
  2. CIS 722 - Operating System Practices
  3. CIS 842 - Specification and Verification of Reactive Systems
• Fall 2004
  
  1. CIS 775 - Analysis of Algorithms
  2. CIS 806 - Semantics of Programming Languages