Sean M. Segreti, Carnegie Mellon University