Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math | Heykuki News