Teaching

All of my course materials (including slides for lectures) are maintained off of the links below. In some cases, only partial lecture slides are posted for students. The full version of the slides are available to instructors and others outside of KSU upon request.

• CIS 842 -- Specification and Verification of Reactive Systems -- Fall 2005
  
  
• CIS 771 -- Software Specification -- Spring 2006 (co-taught with Robby). Current students of 771 at Kansas State should use this link to access the most up-to-date version of 771 course material.

  Matt Dwyer and I (along with Rod Howell) have developed the material for this course, and we make previous versions of it available to instructors outside of KSU -- (Browse and download the course material distribution).