Current topics
About me
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 for 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 IRIT.
I teach SysML and object-oriented design and programming (Java) in ISAE SupAero.
Projects
- 2020 - 2024 EXCELAB (DGAC Directorate General for Civil Aviation France) Improve the performance of aircraft development processes
- 2016 - 2019 PHYLOG (DGAC Directorate General for Civil Aviation France) Embedded software certification on multi-core or many-core processor
- 2017 - 2019 INSTAT, (DGAC Directorate General for Civil Aviation France) Bridging the gap between design and manufacture in the manufacture of aircraft
- 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.
- 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.