Cardano’s Charles Hoskinson Donates $20M to Build Math Center at Carnegie Mellon University

The center will work in close collaboration with faculty, students and researchers across the campus.

AccessTimeIconSep 27, 2021 at 12:56 a.m. UTC
Updated May 11, 2023 at 4:12 p.m. UTC
10 Years of Decentralizing the Future
May 29-31, 2024 - Austin, TexasThe biggest and most established global event for everything crypto, blockchain and Web3.Register Now

Cardano founder Charles Hoskinson has donated $20 million to Carnegie Mellon University (CMU) to establish the Hoskinson Center for Formal Mathematics.

The center will be based in CMU’s Dietrich College of Humanities and Social Sciences. Jeremy Avigad, a professor of philosophy and mathematical sciences at the university, will lead the center.

  • [SPONSORED CONTENT] CEO of the Cardano Foundation, Frederik Gregaard talks about Cardano's strategic principle, Blockchain for Good
    08:39
    [SPONSORED CONTENT] CEO of the Cardano Foundation, Frederik Gregaard talks about Cardano's strategic principle, Blockchain for Good
  • [SPONSORED CONTENT] Alvaro Cosi of Switzerland for UNHCR shares his perspective on raising awareness and funding for refugees utilizing blockchain technology
    16:00
    [SPONSORED CONTENT] Alvaro Cosi of Switzerland for UNHCR shares his perspective on raising awareness and funding for refugees utilizing blockchain technology
  • Robinhood Lays Off 7% of Full-Time Staff in Third Round of Job Cuts Since April 2022: WSJ
    06:01
    Robinhood Lays Off 7% of Full-Time Staff in Third Round of Job Cuts Since April 2022: WSJ
  • Robinhood Ending Support for Tokens Named in SEC Lawsuit as Securities
    00:59
    Robinhood Ending Support for Tokens Named in SEC Lawsuit as Securities
  • Mathematical theorems focusing on discovering proofs, verifying steps and certifying correctness via the assistance of computers will be the center’s main area of research.

    The university said in a statement last week that the center will drive a “new way” of doing math by creating “collaborative digital libraries” for mathematical tools. CMU said it will make the technology widely accessible and advance discoveries across a broad range of disciplines, including computer science, physics and economics, among others.

    Hoskinson’s donation is considerably large by comparison to the seven-year median donations the university generally receives per student. Forbes highlights CMU’s 81st ranking as the result of “lower alumni participation numbers,” which typically receives around $9,483 per student.

    “I think in a very short amount of time the output of this center is going to be remarkable,” Hoskinson said during a speech at CMU on Thursday. “It’s going to start small, but big things do have little beginnings... later on it will grow to cover maybe another Bourbaki-style moment where we can cover the entire pedagogy of math and have open-source textbooks with this paradigm.”







    Disclosure

    Please note that our privacy policy, terms of use, cookies, and do not sell my personal information has been updated.

    CoinDesk is an award-winning media outlet that covers the cryptocurrency industry. Its journalists abide by a strict set of editorial policies. In November 2023, CoinDesk was acquired by the Bullish group, owner of Bullish, a regulated, digital assets exchange. The Bullish group is majority-owned by Block.one; both companies have interests in a variety of blockchain and digital asset businesses and significant holdings of digital assets, including bitcoin. CoinDesk operates as an independent subsidiary with an editorial committee to protect journalistic independence. CoinDesk employees, including journalists, may receive options in the Bullish group as part of their compensation.

    Sebastian Sinclair

    Sebastian Sinclair is a CoinDesk news reporter based in Australia.


    Learn more about Consensus 2024, CoinDesk's longest-running and most influential event that brings together all sides of crypto, blockchain and Web3. Head to consensus.coindesk.com to register and buy your pass now.