Teaching

Some 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 2008 (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). This distribution uses an old version of Alloy. If you are interested in material for the most recent version of Alloy, please email me (I will be making an updated distribution in summer 2008.