Distinguished Service Professor at CMU for 17 years. Research on reasoning models for edge cases and surprises.