Tait, Michael, Carnegie Mellon University