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.