Det gemensamma temat för forskningen vid vår enhet är att vi tillämpar matematiska och logiska metoder på olika problem inom teoretisk datavetenskap.
Ett av våra forskningsområden är typteori. Några delområden är implementering av bevisassistenter, t.ex. Agda, homotopitypteori, syntetisk algebraisk geometri och tillämpningar av typteori för kvantberäkningar.
Ett annat forskningsområde är algoritmisk grafteori - i synnerhet NP-svåra grafteoretiska problem.
För mer information om vår forskning hänvisar vi till enhetens engelska webbsida.
