Logo ISAE3
EN
FR |

jeudi 27 octobre 2016.

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
SPIP | | Suivre la vie du site RSS 2.1