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. You can find the list of my publications here and more details on my research here.

I teach courses on Algorithms and Programming, Databases and Tools for Big Data, Object-Oriented Design and Programming, Mathematical Logic. I also propose projects in Computer Science for students (1st year or 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.