Norman Sadeh, Carnegie Mellon University