Lectures

11:30am - 12:20pm, MWF, C31 PC   Zoom

Staff & Office Hours

Instructor

Cesare Tinelli, 1410 SC   Zoom, Tue 2:00-3:30, Thu 3:30-5:00

TA

Arjun Viswanathan, 201N MLH   Zoom, Wed 3:30-4:30, Fri 3:30-4:30

Course Tools

Zoom

For live lectures and office hours

Piazza

For announcements, clarifications, and questions

ICON

For homework assignments, solutions and grades

UICapture

For the recorded lectures

Credits

The lectures notes are based on a set of lectures notes by Rajeev Alur.