Lectures

2:00pm - 3:15pm TuTh 351 IMU

Staff & Office Hours

Instructor
Cesare Tinelli, 201D MLH, Tue 3:30-5:30, Wed 2-3:15
TA
Ruoyu Zhang, 201N MLH, Mon 9-11, Thu 9-10

Course Tools

Piazza
For announcements, clarifications, and questions
ICON
For homework assignments, solutions and grades

Credits

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.