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