Matthew Maurer, Carnegie Mellon University