Raziskovalne teme
- teorija tipov
- homotopska teorija tipov
- konstruktivna in izračunljiva matematika
- temelji matematike
- matematični temelji programskih jezikov
- semantika programskih jezikov
- algebrajski učinki in prestrezniki
- formalizirana matematika in dokazovalni pomočniki
Raziskovalni projekti
- Type Theory for Data-Intensive Formalization
- Računsko intenzivne metode v teoretičnem računalništvu, diskretni matematiki, kombinatorični optimizaciji ter numerični analizi in algebri z uporabo v naravoslovju in družboslovju (ARRS P1-0294)
Člani
- Andrej Bauer, raziskovalec
- Katja Berčič, podoktorska raziskovalka
- Filip Koprivec, doktorski študent
- Davorin Lešnik
- Noah Loutchmia, doktorski študent
- Matija Pretnar, raziskovalec
- Alex Simpson, raziskovalec
- Jure Taslak, doktorski študent
- Ljupčo Todorovski, raziskovalec