Projects

Current Projects

CAPOEIRA Embedded Optimization of Complex Attitude Profules, with Airbus Defense and Space (CNES 2025-2026)

CAFEE Control Algorithms Formal End-to-End Verification, with Univ. of Michigan (Prof. Jean-Baptiste Jeannin) (ANR-NSF 2025-2029)

ESA Idea - A New Method to Design, Implement And Verify Optimization Algorithms to Enable their Use Onboard Space Systems (ESA 2026-2029)

Past Projects

AI-TIVE — AI-based Trajectory and Integrity Verification for spacecraft control (ESA 2021–)

FEANICSES — Formal and Exhaustive Analysis of Numerical Intensive Control Software for Embedded Systems (ANR JCJC 2018–2022)

SYFI — Synthèse de code en virgule fixe (Région Occitanie 2019–2021)

CAFEIN — Combining Formal Analyses for the Study of Numerical Invariants (ANR INS 2013–2016)

VORACE — Verified Fast Optimization for Embedded Control (ANR ASTRID 2013–2016)