Christophe Garion

Christophe Garion serves as an Associate Professor in Computer Science within the Department of Complex Systems Engineering (DISC) at ISAE-SUPAERO, Toulouse, France. He is integral to the Critical Systems Engineering research group (DISC) and contributes to the "System Engineering: Processes and Models" scientific theme.

Academic credentials include an engineer degree (1999) and PhD (2002), both earned at SUPAERO (now ISAE-SUPAERO). This institutional continuity informs his research-practice integration.

Research centers on Formal Methods with dual focus: current program verification using SPARK and CoCoSim for aerospace applications, and prior knowledge representation work in deontic logic. His methodology bridges theoretical mathematical logic with practical verification challenges in critical systems engineering, establishing him as a specialist in logic-based software validation.

Teaching encompasses core SUPAERO Graduate Program courses including Algorithms, Functional/Logic Programming, and Formal Methods. He supplements lectures with 2nd-year student projects providing hands-on verification experience.

Professional engagement includes active supervision of student projects and research within DISC. Contact is maintained through institutional email and phone, with professional profiles available via ORCID, IdRef, and Scopus identifiers.