6.888 Certified Systems Software


Graduate H-level
Units: 3-0-9
Prerequisites: permission of instructor
Instructors:  Professor Nickolai Zeldovich and Professor Frans Kaashoek
Schedule: TR2:30-4, room 36-112
This subject qualifies as a Computer Systems concentration subject.
  6.888 is a graduate seminar on research in certified systems software.
  The goal of the class is to get the students to build provably
  correct software.  The structure of the class will consist of students
  presenting research papers during lecture, and students working on
  a significant research project.  We expect students to start working
  on the project in the first week or two, and continue for the entire
  semester, culminating in a draft research paper.  Examples of project
  include building a certified file system, distributed key-value store,
  in-kernel interpreter, simple OS kernel, etc.
  Course web site: http://css.csail.mit.edu/6.888/2015/