Mengshoel, Ole J., Carnegie Mellon University, United States