Online / 6 & 7 February 2021


Joffrey Huguet

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).


Title Day Room Track Start End
Adding contracts to the GCC GNAT Ada standard libraries
to strengthen analysis provided by formal verification tools
Saturday Safety and Open Source 11:00 11:30