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 verifying programs, particularly with the SPARK programming language and through the CoCoSim project. . Before I focused on knowledge representation with mathematical logic, particularly on deontic logic, e.g. completeness of regulations. 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 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: name (at) isae-supaero (dot) fr
  • office: 07.097
  • 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.