Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
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)
Cite
×