Programming Languages and Logics
Fall 2025

Monday, Wednesday, and Friday
at 10:10–11:00am
in Olin 155

Instructor

Nate Foster

Course Staff

• Annabel Baniak
• Hanxi Chen
• Serena Duncan
• Jeffrey Huang
• Stephanie Ma
• Luis Hernandez Rocha

Contact

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.