May 26, 2017: Preliminary schedule posted.
May, 2017: This class is new and will be offered in the Fall of 2017. It is loosely based on the original POCS. It provides an introduction the basic principles of computer systems with emphasis on the use of rigorous techniques as an aid to understanding and building modern computing systems. The labs will involve the proof assistant Coq. You should not take this class if you haven't taken 6.033 and one of the advanced systems subjects (e.g., 6.824, 6.828, 6.830, or 6.858). We will assume you have no prior knowledge of Coq.
Questions or comments regarding 6.826? Contact us on Piazza or send e-mail to the 6.826 staff at firstname.lastname@example.org.