**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.