Michael K. Reiter, Carnegie Mellon University