CS 472: Provably Correct Programming

Basics

Meets: TR 11:00 am - 12:15 pm, TBH 180G
Instructor: William Mansky
TA: Eli Whitehouse
Book: Logical Foundations and Programming Language Foundations, Benjamin C. Pierce et al.

Professor Office Hours: T 2-3 and F 11-12, in SEO 1331 and on Zoom
TA Office Hours: W 11-12 in Taft Hall 320, and R 12:15-1:15 in TBH (and on Zoom both days)

Office: SEO 1331

Discussion: Piazza

Recorded lectures: available on Blackboard