PhD things from Carnegie Mellon