Garth Gibson, Carnegie Mellon University