Spencer Whitman, Carnegie Mellon University