Ongoing projects
- Structural complexity measures for foundational theories
Runtime: 2025–2029
Funding: Austrian Science Fund (FWF) — International project
Finished projects
- Algorithmic complexity of structural equivalence relations
Runtime: 2021–2023
Funding: Marie Curie Global Fellowship (Horizon 2020)