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
- Bridging AI, Proof Assistants, and Mathematical Data (BRIDGE)
- 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
- Katja Berčič
- Ivan Kobe
- Davorin Lešnik
- David E. Narváez
- Sewon Park
- Matija Pretnar
- Alex Simpson
- Andrés Santamaria
- Andrew Swan
- Luna Strah
- Jure Taslak
- Ljupčo Todorovski
