Abstraktna matematika z denarjem ameriškega letalstva

    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.

    PUSTITE KOMENTAR

    Vpiši svoj komentar!
    Prosimo vpišite svoje ime

    This site uses Akismet to reduce spam. Learn how your comment data is processed.