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).
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Adding contracts to the GCC GNAT Ada standard libraries to strengthen analysis provided by formal verification tools |
Saturday | D.safety | Safety and Open Source | 11:00 | 11:30 |