2:00pm - 3:15pm TuTh 351 IMU
Staff & Office Hours
- Cesare Tinelli, 201D MLH, Tue 3:30-5:30, Wed 2-3:15
- Ruoyu Zhang, 201N MLH, Mon 9-11, Thu 9-10
- For announcements, clarifications, and questions
- For homework assignments, solutions and grades
The lectures notes are based on a set of lectures notes by Rajeev Alur.
Parts of the website are modeled after a course website by Emina Torlak.