Projects and Thesis
2025 / 2026 @ University of Freiburg
TBA
Sepher Nadim (co-supervised with Marcel Ebbinghaus)
Bachelor Project
Parameterized Complexity for Testing Mixed Isolation Levels
Max Herwig (co-supervised with Marcel Ebbinghaus)
Bachelor Thesis
2024 / 2025 @ University of Freiburg
Dynamic Partial Order Reduction for Checking Correctness against Serializability
Max Herwig (co-supervised with Marcel Ebbinghaus)
Bachelor Project
Teaching Assistant
2025 / 2026 @ University of Freiburg
2023 / 2024 @ Université Paris Cité
- Initiation à la Programmation 1 (Java) - Practical session - First year of bachelor
- Eléments d'algorithmique 2 - Theoretical and practical sessions - Second year of bachelor
2022 / 2023 @ Université Paris Cité
- Initiation à la Programmation 1 (Java) - Practical session - First year of bachelor
- Eléments d'algorithmique 2 - Theoretical and practical sessions - Second year of bachelor
2021 / 2022 @ Université Paris Cité
- Initiation à la Programmation 1 (Java) - Practical session - First year of bachelor
- Initiation à la Programmation 2 (Java) - Practical session - First year of bachelor
- Projet de programation (Java) Practical session - Second year of bachelor