CS475: Formal Models of Computation, Spring 2022

Welcome CS 475, Spring 2022!

Please look through the links above to get familiar with the syllabus and the tools that we'll be using. This page provides a quick summary to deal with immediate issues. See also information about special situations.

Announcements

Piazza is our forum for announcements, asking questions, and so forth. Some announcements may be duplicated here.

Staff

Instructor: Ben Cosman, bcosman
TA: Maria Paula Parga Nina, mpp8

Classes

The lectures will be in the Transportation Building room 203 on Tuesdays and Thursdays 12:30-1:45pm. (The first week will be on Zoom - see announcements above.)

Workflow for a week

Here is the normal workflow for a week:

Sunday Monday Tuesday Wednesday Thursday Friday Saturday
  Homework due (midnight)

Do readings for Tues
Lecture Do readings for Thurs Lecture Warm-up Problems due  

There will not be homeworks due on Mondays that immediatley follow an exam. Warm-ups however are due every friday from week 1-14.

Homeworks and Warm-up Problems

Warm-up problems (due every Friday) can be found on Gradescope.

Each Monday at midnight, there will be a homework due on Gradescope.