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

Sep 22, 2021•almost 4 years ago

Amount Raised

$20 Million

Pittsburgh

Description

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 Information

Company

Carnegie Mellon

Location

Pittsburgh, Pennsylvania, United States

About

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.

Funding Insights

Based on industry data

Tech investment trends

83% of B2B companies plan digital investments, with 79% prioritizing customer experience tech

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

Description

.css-1v6jzuu{--tw-text-opacity:1;color:rgba(75, 85, 99, var(--tw-text-opacity));}Company Information

Funding Insights

Company Information