CS 472: Provably Correct Programming

Basics

Meets: TR 11:00 am - 12:15 pm, CDRLC 2406
Instructor: William Mansky
TA: Eli Whitehouse
Books: Logical Foundations, Benjamin C. Pierce et al., and the Iris Tutorial

Professor Office Hours: M 10:00-11:00 am, R 2:00-3:00 pm, in person and on Zoom
TA Office Hours: TBA

Office: CDLRC 4450

Discussion: Piazza