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