Garth A. Gibson, Carnegie Mellon University