CS 472: Provably Correct Programming

Basics

Meets: MW 2:00 pm - 3:15 pm, TBH 180F
Instructor: William Mansky
TA: Chao Ding
Book: Logical Foundations and Programming Language Foundations, Benjamin C. Pierce et al.

Professor Office Hours: T 12-1 and W 10-11, in SEO 1331 and on Zoom
TA Office Hours: M 12:45-1:45 in TBH 180B and R 2-3 on Zoom

Office: SEO 1331

Discussion: Piazza

Recorded lectures: available on Blackboard