conferences | speakers | series

Joffrey Huguet

👥 1 conference
🎤 1 talk
📅 Years active: 2021 to 2021

Biography

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

— biography from FOSDEM 2021
https://archive.fosdem.org/2021/schedule/speaker/joffrey_huguet/

Conferences

1 known conferences

👥 FOSDEM 2021 📅 06 Feb 2021

  ðŸŽ¤ Adding contracts to the GCC GNAT Ada standard libraries
   06 Feb 2021 show details