PhD in Computer Science, Massachusetts Institute of Technology