Programming Languages and Logics
Fall 2021

Monday, Wednesday, and Friday
at 1:30–2:20pm
in Gates G01

Instructor

Adrian Sampson (he/him)
Office hour: Monday 3:30–4:30pm (Gates 411A)

Teaching Assistants

James “Clay” Goodling
Office hour: Mondays 2:30-3:30pm (Rhodes 406)

David J. Lee (he/him)
Office hours: Tuesdays 10–11am (9/14: Rhodes 574; from 9/21: Rhodes 405)

Sophia Roshal
Office hour: Fridays 11am-12pm (Rhodes 405)

Jackson Subcleff
Office hour: Thursdays 10am-11am (Rhodes 405)

Leon Witzman
Office hour: Tuesdays 11am-12pm (Rhodes 405)

Noam Zilberstein
Office hour: Wednesdays 2:30-3:30pm (Rhodes 402)

Contact

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

Office Hours

This Google calendar contains all the office hours listed above.

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