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.
- e-mail : garion (at) isae-supaero (dot) fr
- office : 07.097 (Rangueil campus)
- phone : +33 (0) 5 61 33 80 57