CS 494: Provably Correct Programming

Basics

Meets: TR 2:00 pm - 3:15 pm, Blackboard Collaborate (first two weeks) and TBH 180C (rest of semester)
Instructor: William Mansky
Book: Logical Foundations and Programming Language Foundations, Benjamin C. Pierce et al.

Office Hours: Monday 12-1, Thursday 11-12, in SEO 1331 and on Blackboard Collaborate

Office: SEO 1331

Discussion: Piazza

Recorded lectures: available on Blackboard