Koedinger, Kenneth R, Carnegie Mellon University, United States