Qui suis-je ?

Je suis chercheur à l'Office National d'Etudes et de Recherches Aérospatiales (ONERA). je mène des travaux de recherches, notamment dans le cadre de projets nationaux et internationaux avec les acteurs du secteur aéronautique, comme Airbus, mais aussi avec les autorités de certification (DGA-TA, DGAC).

Mes domaines de recherches sont centrés autour de l’ingénierie des exigences, la modélisation de systèmes et les méthodes formelles. Plus précisément, je cherche à définir des cadres soit à base de méthodes formelles, soit à base de modèles (ingénierie systèmes), permettant de valider et de certifier des systèmes. Pour cela j'utilise aussi bien des méthodes formelles (model checking / SMT) que des approches orientées modèles et argumentation (UML / SysML).

Précédemment, j'ai été consultant pendant 5 ans auprès d'acteurs majeurs de l'industrie sur des problématiques de modélisation métier et d'algorithmiques dans les secteurs du transport urbain et bancaire. Après avoir réalisé un système expert destiné au diagnostic et à la cotation des entreprises, j'ai conçu un système d'aide à la décision pour la gestion des systèmes de transport en commun (RATP). J'ai effectué mon doctorat en Intelligence Artificielle dans les domaines de la planification et de la logique à l'Institut de Recherche en Informatique de Toulouse (IRITlink).

J'enseigne le SysML et la conception et la programmation orientées objet (Java) à l'ISAE SupAéro.

Projets

  • 2016 - 2019 PHYLOG (DGAC - Direction générale de l'Aviation civile) Certification de fonctions logicielles embarquées sur des calculateurs de type multi ou many-core (systèmes avioniques civils)
  • 2017 - 2018 Simultaneous Engineering: work with Airbus Aircraft Architects to allow the architect to have a global view of the aircraft design and of the manufacturing and to support the concurrent specification of the product and its manufacturing system
  • 2014 - 2016 TOICA (European project FP7) Thermal Overall Integrated Conception of Aircrafts
  • 2011 - 2015 Projet P.
  • 2011 - 2015 VUExCoSSI groupe de travail : Vision Utilisateur & Expression de la Complexité au sein des SI
  • 2009 - 2012 CRESCENDO (Projet européen FP7) Collaborative and Robust Engineering using Simulation Capability Enabling Next Design Optimisation
  • 2011 OPEES Open Platform for the Engineering of Embedded Systems
  • 2009 PAM Platform architecture management dans le cadre du partenariat Airsys (Architecture et ingénierie des systèmes, dans le domaine des systèmes pour l'aéronautique), coopération entre Airbus, le LAAS-CNRS, l'ONERA et l'IRIT.
  • 2002 - 2003 Van Gogh Logical Architectures for autonomous agents and planning, projet Européen entre l'Institut de Recherche en Informatique de Toulouse et la Vrije Universiteit d'Amsterdam.
  • 2000 - 2002 PROCOP. Les topiques en logique et dans le dialogue.

Enseignements

Quelques Publications