Programming Languages and Logics
Fall 2018
Monday, Wednesday, and Friday
at 9:05–9:55am
in Gates G01
Instructor
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
Contact
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.