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.

-
Podpri Kvarkadabro!
Naroči se
Obveščaj me
guest

0 - št. komentarjev
z največ glasovi
novejši najprej starejši najprej
Inline Feedbacks
View all comments