Les pages professionnellesdes enseignants chercheurs

Christophe Garion

Mis à jour le


I am an Associate Professor in Computer Science at the Department of Complex Systems Engineering (DISC) of the Aeronautics and Space Institute (ISAE-SUPAERO) of Toulouse, France. My teaching activities concern the SUPAERO Graduate Program. I hold a PhD (2002) and an engineer degree (1999) from SUPAERO.

This site is under construction, so you will only find minimal information here. I will add useful things in a (more or less) near future :)

My main research interest is the use of mathematical logic for representing and reasoning on notions such as regulations, capacities, abilities, task distribution, planning etc. I focus now on deontic logic, particularly on completeness of regulations and on program verification, particularly with the SPARK programming language and through the CoCoSim project. You can find the list of my publications here and more details on my research here.

I teach courses on Algorithms and Programming, Functional and Logic Programming Languages, Databases and Formal Methods. I also propose projects in Computer Science for students (2nd year projects). You can find more on my teaching activities here.

 Contact information

  • e-mail : garion (at) isae-supaero (dot) fr
  • office : 07.097 (Rangueil campus)
  • phone : +33 (0) 5 61 33 80 57


En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour vous proposer des contenus et services adaptés OK
Pour accéder à toutes les fonctionnalités de ce site, vous devez activer JavaScript. Voici les instructions pour activer JavaScript dans votre navigateur Web.