Programming Languages and Logics
Spring 2024

Monday, Wednesday, and Friday
at 10:10–11am
in Gates G01


Adrian Sampson (he/him)

Teaching Assistants


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

Office Hours

See our Google calendar for our regularly scheduled office hours throughout the week.

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.