Jeremy Lacomis, Carnegie Mellon University