Programming Languages

Course Information

Staff

• Instructor: Zachary Tatlock

• TA: Ben Kushigian

Administrative

• Course Schedule

• Lecture Zoom Link

• Videos

• Message Board

• Course Chat

• Gradescope

• Syllabus

• Academic-Integrity and Collaboration Policy

Meetings and Office Hours

• Lecture : Mon, Wed; 10:00 - 11:20; Zoom

• Zach OH : Friday; 15:00 - 15:50; Zoom

• Ben OH : TBD

Credits

• The course closely follows Adam Chlipala's excellent textbook Formal Reasoning About Programs.

• We also use superb explanations and insights from Dan Grossman's classic version of 505.