### Homotopy Type Theory: Unified Foundations of Mathematics and Computation

#### Posted by David Corfield

Congratulations to Mike for being a part of a research team who will receive $7. 5 million to carry on the good work of the IAS Univalent Foundations program. Homotopy Type Theory: Unified Foundations of Mathematics and Computation will run for five years, organised by Steve Awodey at CMU. (Technical portion of the grant proposal is here.)

I hope they’re allowed to use some of that funding to spill into physics a little.

Posted at April 29, 2014 12:48 PM UTC
## Re: Homotopy Type Theory: Unified Foundations of Mathematics and Computation

thanks for the press – but that general, college press release is not exactly intended for this, more informed, readership. We’ll make some sort of official announcement soon. For now, let me just say that my name may be listed as the lead PI, but this is definitely a group effort.