current_project

AItive

Essaim de drones

Swarms of drones (AID 2019-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)