Programming Languages and Logics
Fall 2021

Monday, Wednesday, and Friday
at 1:30–2:20pm
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

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.