Professional pagesISAE-SUPAERO professors

Christophe Garion

Updated :

  Table of contents  

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


By continuing your browsing on this site, you accept the use of cookies to offer you adapted content and services OK
For full functionality of this site it is necessary to enable JavaScript. Here are the instructions how to enable JavaScript in your web browser.