Logic and Computation
CS 2800 Spring 2010

College of Computer and Information Science
Northeastern University

Professor

Pete Manolios
Office hours: Tuesdays 5-7PM, WVH 346, and by request
Email: pete@ccs.neu.edu

Teaching Assistants

Ian Johnson
Office hours: Wednesdays 9:30AM-10:30AM and 1:30PM-2:30PM, WVH 316, and by request
Email: ianj@ccs.neu.edu

Harsh Chamarthi
Office hours: Tuesdays 11:45AM-1:45PM, WVH 316, and by request
Email: harshrc@ccs.neu.edu

Vasilis Papavasileiou
Office hours: Thursdays 2:30PM-4:30PM, WVH 316, and by request
Email: vpap@ccs.neu.edu

Katelyn Berry
Office hours: Mondays 3PM-4PM, Tuesdays 4:00PM-5:00PM, WVH 208, and by request
Email: kberry2@ccs.neu.edu

Tutors

Ian A. Helmke
Office hours: Tuesdays 7-9PM, Saturdays before exams only, 2-4PM, WVH 102 (Lab), and by request
Email: ihelmke@ccs.neu.edu

Daniel Bostwick
Office hours: Fridays 1:30-3:25PM, WVH 102 (Lab), and by request
Email: bostwick@ccs.neu.edu

Dan Kreymer
Office hours: Fridays 5:15-7:15PM, WVH 102 (Lab), and by request
Email: dkreymer@gmail.com

Sarah Parker
Office hours: Monday 7:00-9:00PM, WVH 102 (Lab), and by request
Email: parker.sar@husky.neu.edu