Ph.D. in Computer Science, Carnegie Mellon University