Department of Defense Gives Philosopher $7.5m

Steve Awodey, a professor of philosophy at Carnegie Mellon University, has received a $7.5 million 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” and to build on his earlier work showing “a deep and surprising connection between abstract, mathematical geometry and computational logic.” The team of researchers working with Awodey include computer scientists, mathematicians, and fellow CMU philosopher Jeremy Avigad.

Beyond the Ivory Tower. Workshop for academics on writing short pieces for wide audiences on big questions. Taking place October 18th to 19th. Application deadline July 30th. Funding provided.
Notify of

Inline Feedbacks
View all comments