Mostow, Jack, Carnegie Mellon University, United States