Holstein, Kenneth, Carnegie Mellon University