Communications of the ACM
ACM Careers
Carnegie Mellon Awarded $7.5 Million Department of Defense Grant to Reshape Mathematics
Steven Awodey.
Credit: Carnegie Mellon University
Carnegie Mellon University's Steven Awodey has received a $7.5 million, five-year grant from the Department of Defense to reshape the foundations of mathematics by developing a new approach that allows for large-scale formalization and computer verification.
From Carnegie Mellon University
View Full Article
No entries found