About me

I am a Research Scientist at ONERA (the French aerospace research center). I work in projects with aeronautical industry stakeholders, like Airbus and also in projects with french certification authorities.

My research interests are focused on system modeling, requirements engineering and formal methods. I define frameworks, based either on formal methods or on models (systems engineering), to support the systems validation and the systems certification. For that, I use formal methods (model checking, like SMT) or conceptual models.

I have worked as a consultant in urban transportation and financial sector during five years. I made, for the Banque de France, a business rules engine which automatically generates financial analysis. This tool is currently in production. For the Paris public transport operator (RATP), I designed a decision support system for the management of public transport systems to deal with issues of urban traffic (prototype TRL6). I did my thesis in Artificial Intelligence: "A Logic for Planning under Partial Observability", in IRITlink.

I teach SysML and object-oriented design and programming (Java) in ISAE SupAero.

Projects

  • 2016 - 2019 PHYLOG (Directorate General for Civil Aviation France) Embedded software certification on multi-core or many-core processor (civil avionics)
  • 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)link Thermal Overall Integrated Conception of Aircrafts
  • 2011 - 2015 Projet P.
  • 2009 - 2012 CRESCENDO (European project 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 in AIRSYS (cooperation between Airbus, LAAS-CNRS, ONERA and IRIT).
  • 2002 - 2003 Van Gogh Logical Architectures for autonomous agents and planning, european project between Institut de Recherche en Informatique de Toulouse and Vrije Universiteit d'Amsterdam.

Teaching

Selected Publications