Daehyeok Kim, Carnegie Mellon University