Logic and Computation
CS 2800 Fall 2023


Khoury College of Computer Sciences
Northeastern University

Professor and TAs (only for Prof. Tripakis' section!)

Stavros Tripakis (also spelled Trypakis)
Office hours: Wed 10:30-11:30am, or by request (email me)
Location: WVH 340
Email: stavros northeastern edu
Daniel Melcer
Email: melcer.d northeastern edu
Carla Delgado
Email: delgado.car northeastern edu
Kevin Huang
Email: huang.kevin2 northeastern edu


Class calendar (populated as we go along):