Anja Švraka (2022--present, TU München, cosupervised by Claudia Scheimbauer) : Additivity of constructible factorization algebras
Benno Lossin (2026, TU München): Fibrations in Directed Type Theory (including formalizations in rzk)
Michele Riva (2025, Universität Regensburg, cosupervised by Denis-Charles Cisinski): A Type Theory for Synthetic Categories (pdf)
Nicolas Brauch (2022, TU München, cosupervised by Claudia Scheimbauer): Picard Groupoids and their k-Invariants