Christophe Garion
Associate Professor · Formal Methods
National Institute of Applied Sciences of RouenFrance
About
Christophe Garion is an Associate Professor in Computer Science at the Department of Complex Systems Engineering (DISC) of ISAE-SUPAERO in Toulouse, France. He contributes to the SUPAERO Graduate Program through teaching and student project supervision.
Research Interests
His research focuses on program verification using mathematical logic, particularly with the SPARK programming language and the CoCoSim project. Prior work includes knowledge representation with mathematical logic, emphasizing deontic logic and regulatory completeness.
Contact Information
- Email: name@isae-supaero.fr
- Office: 07.097
- Phone: +33 (0) 5 61 33 80 57
Teaching Activities
He teaches courses on Algorithms and Programming, Functional and Logic Programming Languages, and Formal Methods, while offering second-year project opportunities in Computer Science.
0Publications listed
Find Christophe Garion elsewhere
Related Searches
You Might Also Like
- CChristophe GarionHigher Institute of Aeronautics and Space · Associate Professor
Thomas OberlinHigher Institute of Aeronautics and Space · Professor- RRaphael GarciaNational Institute of Applied Sciences of Rouen · Researcher
- JJosé RadzikNational Institute of Applied Sciences of Rouen · Lecturer
- CChristine TassonHigher Institute of Aeronautics and Space · Professor
Youssef DiouanePolytechnic School of Montreal · Associate Professor