👥 1 conference
🎤 1 talk
📅 Years active: 2021 to 2021
Joffrey Huguet has an engineering Master's degree from ISAE-SUPAERO, in Toulouse, France. After two internships at AdaCore during his studies, he joined the company to be part of the SPARK team, a tool for formal verification of Ada. He also works on research projects such as OpenUxAS, in cooperation with the AFRL (Air Force Research Laboratory).
1 known conferences