I am an Associate Professor in Computer Science at the Department of Mathematics, Computer Science, and Control of the Aeronautics and Space Institute (ISAE) 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. You can find the list of my publications here and more details on my research here.
I teach courses on Databases, Object-Oriented Design and Programming, Mathematical Logic, Operating Systems, Distributed Programming. I also propose projects in Computer Science for students (1st year or 2nd year projects). I am in charge of the first year of the SUPAERO graduate program. You can find more on my teaching activities here.
- e-mail : garion (at) isae (dot) fr
- office : 05.072 (Rangueil campus)
- phone : +33 (0) 5 61 33 80 57