Samuel Sokota, Carnegie Mellon University, Pittsburgh