Carnegie Mellon Receives $20 Million to Establish Hoskinson Center for Formal Mathematics in Dietrich College
PITTSBURGH, Sept. 22, 2021 /PRNewswire/ -- Entrepreneur Charles C. Hoskinson has made a $20 million gift to Carnegie Mellon University to establish the Hoskinson Center for Formal Mathematics, the university announced today.
- PITTSBURGH, Sept. 22, 2021 /PRNewswire/ -- Entrepreneur Charles C. Hoskinson has made a $20 million gift to Carnegie Mellon University to establish the Hoskinson Center for Formal Mathematics, the university announced today.
- The Hoskinson Center will develop the technology (via the Lean platform) and techniques needed to increase world-wide access to the power of formal mathematics.
- "Carnegie Mellon has the resources and experts to take the study of formal mathematics and disseminate it in a meaningful way," Hoskinson said.
- The center will include joint postdoctoral positions between the Dietrich College and Mellon College of Science.