Anup Agarwal, Carnegie Mellon University