Research topics
- type theory
- homotopy type theory
- constructive and computable mathematics
- foundations of mathematics
- mathematical foundations of programming languages
- semantics of programming languages
- algebraic effects and handlers
- formalized mathematics and proof assistants
Research projects
- Type Theory for Data-Intensive Formalization
- Bridging AI, Proof Assistants, and Mathematical Data (BRIDGE)
- Computationally intensive methods in theoretical computer science, discrete mathematics, combinatorial optimization, and numerical analysis and algebra with applications in natural and social sciences (ARRS P1-0294)
Members
- 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
