Carnegie Mellon Receives $20 Million to Establish Hoskinson Center for Formal Mathematics in Dietrich College - News - Carnegie Mellon University - discu.eu

Hacker News

Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-mathematics.html 5 comments 22/9/2021

Linking pages

Cardano's Charles Hoskinson Contributes $20M to Carnegie Mellon's new center - Crypto Economy https://crypto-economy.com/cardanos-charles-hoskinson-contributes-20m-to-carnegie-mellons-new-center/ 26 comments

Related searches:

Search whole site: site:www.cmu.edu

Search title: Carnegie Mellon Receives $20 Million to Establish Hoskinson Center for Formal Mathematics in Dietrich College - News - Carnegie Mellon University

See how to search.

Submit link to: