PhD in Computer Science, Carnegie Mellon University