Kathi Fisler Prior Courses

• CS 4536 (Programming Languages) [2006]
• CS 1102 (Accelerated Intro to Program Design) [2004-2005]
• CS 1101 (Introduction to Program Design) [2004-5]
• CS 2135 (Programming Language Concepts) [2001-2004]
• CS 536 (Programming Language Design, Graduate) [2002-3]
• CS 525V (Computer-Aided Verification) [2001-2]
  
• CS 3733 (Software Engineering) [2000]
  
• TeachScheme exercises and materials
• How to Design Worlds, on teaching programming through animations.
• Formal Methods Education Repository: Pointers to course pages, tools, and materials for formal methods courses
• Courses that I taught at Rice University [1999-2000]