logo
logo
AI

Discover the World’s Fastest Business Insights

Get real-time alerts on funding rounds, executive hires, acquisitions, and more— plus verified contact details and AI-powered outreach to connect faster.
Sign up now to unlock exclusive data and opportunities.

Carnegie Mellon Receives $20 Million To Establish Hoskinson Center For Formal Mathematics In Dietrich College

Carnegie Mellon Receives $20 Million To Establish Hoskinson Center For Formal Mathematics In Dietrich College

09/22/21, 2:11 PM
Location
https://purecatamphetamine.github.io/country-flag-icons/3x2/US.svgpittsburgh
Money raised
$20 million
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 center will advance mathematical research by improving global access to knowledge and resources for mathematics researchers, educators and learners.

Company Info

Company
Carnegie Mellon
Location
pittsburgh, pennsylvania, united states
Additional Info
The center will support the development of Lean's digital library, develop new tools to help convert mathematical statements from natural language to a formal language, and create educational resources to make these tools widely available. Used widely, these tools have the potential to super-charge mathematics, which in turn has the power to super-charge computer science, physics and any other discipline that uses mathematics. "Carnegie Mellon has the resources and experts to take the study of formal mathematics and disseminate it in a meaningful way," Hoskinson said.
G2 High Performer Badge

Never Miss an Opportunity: Your #1 Sales Intelligence Tool

Get lightning-fast updates on funding rounds, executive hires, contract awards, and more—powered by AI-driven insights to help you connect with the right prospects first.