John Bucy, Carnegie Mellon University