6.822 Formal Reasoning About Programs

Spring-2021

We will proceed as we did in the second half of Spring 2020, namely in a fully virtual format that does not require synchronous participation. Lectures will be streamed live (at the registrar-assigned lecture time) via Zoom, including audience participation to drive writing code and proofs together, but each lecture will also be recorded and made available to consult later (so it is not essential to participate live). There are no other scheduled class periods. We will offer office hours using the department's help-queue system and video calling, polling the class on a good mix of times to staff, to be friendly to the relevant time zones. The heart of the class is you and your IDE working through the assignments on your own computer, and that part is pretty much the same as always!

course website