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.