University of Calgary
UofC Navigation

$7.5m Grant for HoTT!

Submitted by Richard Zach on Tue, 04/29/2014 - 12:28pm

All-around awesome logician colleagues and friends Steve Awodey and Jeremy Avigad have netted a $7.5m, 5-year grant to develop Homotopy Type Theory!

http://www.cmu.edu/news/stories/archives/2014/april/april28_awodeygrant....

http://homotopytypetheory.org/2014/04/29/hott-awarded-a-muri/

AddThis: