Steve Awodey s Carnegie Mellon U. je prejel 7.5 milijonov vreden petletni projekt financiran s strani ameriškega obrambnega ministrstva za raziskave v teoriji homotopskih tipov (upam, da sem pravilno slovenil Homotopy Type Theory). Za ta blog je morda najbolj zanimiv naslednji stavek in izjave za javnost na strani CMU
The team also will collaborate with researchers at MIT and in Slovenia, Sweden and the United Kingdom.
Predvidevam, da gre v primeru Slovenije za Andreja Bauerja s FMF, Univerze v Ljubljani.