Programming Languages and Logics
Fall 2018

Monday, Wednesday, and Friday
at 9:05–9:55am
in Gates G01


Adrian Sampson
office hours: Monday 10–11am and Friday 11am–noon
in Gates 411A

Teaching Assistants

Pedro Amorim
office hours: Wednesday 2:00pm–3:00pm
in Rhodes 574

Devin Lehmacher
office hours: Tuesday 3:30pm–4:30pm
in Rhodes 405

Alexa VanHattum
office hours: (week of 12/10) Monday 5:30pm–6:30pm
in Gates G15

Irene Yoon
office hours: Friday 10am–11am
in Gates G13


Please use Campuswire (not email) for all course-related communication to make sure that the whole course staff can help.

Office Hours by Appointment

Can’t make the normal office hours? Post a private note to Campuswire to request a special appointment. We’ll do our best to meet with you if we have enough notice.