University of Lorraine, France
Faculté des sciences et technologies, département informatique
- Functional Programming — 3rd year of bachelor’s degree — 2024-2027 — Exercises
- Agent-Oriented Programming — 2nd year of bachelor’s degree — 2025-2027
- System: Processes, Memory and Files — 2nd year of bachelor’s degree — 2024-2027
- Student’s projects supervision — 2nd year of bachelor’s degree — 2024-2026
- Logic — 2nd year of bachelor’s degree — 2024-2025
- Algorithms and Imperative Programming (API) — 1st year of bachelor’s degree — 2024-2027
Faculté de médecine
- Introduction to Databases — 1st year of bachelor’s degree — 2026-2027
École Nationale Supérieure d’Électricité et de Mécanique (ENSEM)
- Software Analysis and Design (ACL) — 1st year of master’s degree in computer science — 2024-2026
Fakultät für Informatik und Data Science (University of Regensburg, Germany)
- 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, département informatique (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