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)