PhD in Computer Science, Yale University