Richard P. Draves, Carnegie Mellon University