Façonner l'ingénierie des futurs systèmes critiques à l'aide d'approches d'IA fondées sur des bases mathématiques · Laboratoire de Traitement et Communication de l'Information, Doctorat · La Géode