Teaching

This year, I am a teaching assistant for the course of Software Verification offered in the winter semester of 2025 at RPTU Kaiserslautern, taught by Prof. Rupak Majumdar for master students.

During my PhD, I have been a teaching assistant for the following courses at Université Paris Cité:

• Initiation à la programmation Java en L1 Informatique. TD en 2024/2025
• Initiation à la programmation Python en L1 Mathématiques. TP en 2023/2024 et en 2024/2025
• Concepts Informatiques en L1 Informatique. TD en 2022/2023
• Langage C en L2 Informatique. TD en 2022/2023
• Automates et Analyse Lexicale en L2 Informatique. TD et TP en 2023/2024
• Projet de Programmation en L2 Informatique. TP en 2024/2025