Teaching
Fall Semester 2009
Office hours by appointment, only.
Spring Semester 2009
CIS 705 — Programming Languages
Lectures: TU 2:30-3:45 p.m. N122
CIS 890 — Proving Properties of Deductive Systems Using Twelf
Seminars: F 1:30-3:30 p.m. N236
CIS 415 Lecture on Free Software/Open Source
Fall Semester 2008
CIS 570 — Introduction to Formal Language Theory
Breadth Exam in Formal Languages
Short Course on Concurrent ML
Course Catalogs and Schedules
University Course Catalogs and Schedules
CIS Department Course Information
Alley Stoughton
(
stough@k-state.edu
)