Faculté des sciences et technologies (University of Lorraine, France)
- Agent-Oriented Programming — 2nd year of bachelor’s degree — 2025-2026
- Student’s projects supervision — 2nd year of bachelor’s degree — 2024-2026
- System: processes, memory and files — 2nd year of bachelor’s degree — 2024-2026
- Functional Programming — 3rd year of bachelor’s degree — 2024-2026 — Exercises
- ACL (Software Analysis and Design) — 1st year of master’s degree — 2024-2026
- Logic — 2nd year of bachelor’s degree — 2024-2025
- API (Algorithms and Imperative Programming) — 1st year of bachelor’s degree — 2024-2026
Fakultät für Informatik und Data Science (University of Regensburg, France)
- Programming II — 1st year of bachelor’s degree — 2023-2024 — Exercises
- Theoretical Foundations of Computer Science I — 1st year of bachelor’s degree — 2023-2024
Faculté des sciences (University of Montpellier, France)
- Program Verification — 3rd year of bachelor’s degree — 2022-2023 — Coq guide (in French)
- Network and Concurrent Programming — 3rd year of bachelor’s degree — 2022-2023
- First-Order Logic — 3rd year of bachelor’s degree — 2021-2022
- Functional Programming — 1st year of bachelor’s degree — 2021-2022
- Data Warehouse and Big Data — 1st year of master’s degree — 2021-2022
- Parallel and Distributed Programming — 1st year of master’s degree — 2020-2021
- Network, System and Web — 1st year of bachelor’s degree — 2020-2021