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