Phillip B. Gibbons, Carnegie Mellon University