معرفی
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.
۰مقاله منتشرشده
Christophe Garion در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- CChristophe GarionHigher Institute of Aeronautics and Space · دانشیار
Thomas OberlinHigher Institute of Aeronautics and Space · استاد- RRaphael GarciaNational Institute of Applied Sciences of Rouen · پژوهشگر
- JJosé RadzikNational Institute of Applied Sciences of Rouen · مدرس
- CChristine TassonHigher Institute of Aeronautics and Space · استاد
Youssef DiouanePolytechnic School of Montreal · دانشیار