Past editions: Spring ‘20, Fall ‘19
CS 420: Introduction to the Theory of Computation
Fall 2021
Course information
 Location: (M010409) Room 409, 1^{st} floor, McCormack
 Schedule: 4:00pm to 5:15pm on Monday, Wednesday
Instructor contact
 Email:
Tiago.Cogumbreiro@umb.edu
 Office: (M03020116) Room 020116, 3^{rd} floor, McCormack
 Office hours: 4:00pm to 5:00pm Wednesday; 6:45pm to 7:45pm Monday/Wednesday (inperson)
Teaching assistants contact
 Dennis Liew

Office hours: 12:30pm to 1:30pm on Tuesday, Wednesday, and Thursday.
 Hannah Zicarelli
 Office hours: 5:30pm to 6:30pm on Monday, Tuesday, and Wednesday.
Resources
 CS420 Supplementary Material: The Turing library (Coq)
 CS420 Supplementary Material: NFA/DFA/REGEX algorithms (Python)
 Logic Foundations exercises
 Final Grade Calculator (WARNING: the calculated result is approximated, because some values are calculated on a curve)
Class Schedule
Note: Any lecture titles in future dates are considered tentative.