Rick Kazman, Carnegie Mellon University