Antti Kuusisto
yliopistotutkija, matematiikka, ITC ja Tutkijakollegium
Tampereen yliopisto
antti.kuusisto [at] tuni.fi (antti[dot]kuusisto[at]tuni[dot]fi)
Verkkosivuthttps://homepages.tuni.fi/antti.kuusisto/
Oma esittely
Yliopistotutkija, dosentti
Osaamisalueiden kuvaus
matemaattinen logiikka ja teoreettinen tietojenkäsittelytiede
Tieteenalat
Matematiikka, erityisesti matemaattinen logiikka, diskreetti matematiikka ja teoreettinen tietojenkäsittelytiede
Tutkimusrahoitus
PI of Theory of computational logics, Research Council of Finland 2019 - 2024; Head of consortium and PI of Explaining AI via Logic, Research Council of Finland