Srinivasan Seshan, Carnegie Mellon University