Course Websites

CS 591 IC - Interactive Computing

Last offered Fall 2024

Official Description

Seminar on topics of current interest as announced in the Class Schedule. Course Information: Approved for S/U grading only. May be repeated in the same or separate terms if topics vary. Prerequisite: As specified for each topic offering, see Class Schedule or departmental course description.

Section Description

Topic: Seminar in Formal Methods. Prerequisite: CS 422 or 476 or consent of instructor.

Related Faculty

Interactive ComputingIC41194S1011530 - 1700 W  0218 Siebel Center for Comp Sci  Karrie Karahalios
Camille Cobb
Sarah Gimbert Sterman