Touretzky, Dave, Carnegie Mellon University, United States