seit September 2025: Jannik Kochert, Mathematical Foundations of Sequential and Hierarchical Structures in Language (als Zweitbetreuer, seit Februar 2025 als Supervisor am NCCR Evolving Language, Hierarchy Implementation Task; Erstbetreuer Balthasar Bickel), Universität Zürich (Homepage)
seit Juli 2022: Laura Wirth, Archimedisch Angeordnete Körper mit der NIP-Eigenschaft (als Zweitbetreuer, bis November 2024 als Mentor; Erstbetreuerin Salma Kuhlmann), Universität Konstanz (Homepage)
seit September 2022: Lasse Vogel, Dependent ordered Structures (als Zweitbetreuer, bis November 2024 als Mentor, Erstbetreuerin Salma Kuhlmann), Universität Konstanz (Homepage)
Mai 2025: David Kattermann, Computability aspects in statistical learning (als Erstbetreuer; Zweitbetreuerin Salma Kuhlmann), Universität Konstanz (Download)
September 2025: Sofie Vaas, Order-theoretic grammar: a novel axiomatization of linguistic trees respecting horizontal order, Universität Konstanz
Juni 2025: Jannis Munsch, Synthese ausgewählter formal-semantischer Konzepte, Universität Zürich