I have been teaching at EPITA since 2022 as an adjunct lecturer in the Embedded & Real-Time specialization (called GISTRE). My teaching activities include course design, lectures, practical sessions, student assessment, and participation in internship juries.
2026
2025
2024
2023
2022
2016/2017
The course introduces software verification and validation techniques for complex and safety-critical software.
It covers both dynamic and static approaches, including functional and structural testing, static analysis, fuzzing, and an introduction to formal verification and model checking.
The course combines lectures with practical sessions in which students apply these techniques.
The session was an extension to the real-time design course with a focus on the Asterios toolchain and the PsyC programming language, developed by Krono-Safe/Asterios Technologies.