Bruce M. Maggs, Carnegie Mellon University