Carnegie Mellon Receives $20 Million to Establish Hoskinson Center for Formal Mathematics in Dietrich College - News cmu.edu - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from cmu.edu Daily Mail and Mail on Sunday newspapers.