![Baptiste Pollien](https://conf.researchr.org/getProfileImage/baptistepollien/13383620-503f-4eda-9875-c3525a0b7940/small.jpg?1715689548000)
Registered user since Thu 2 Mar 2023
Name:Baptiste Pollien
Bio:
I am a PhD student at ISAE-SUPAERO, in Toulouse. My thesis deals with formal methods applied on UAV autopilot, especially Paparazzi autopilot developed at ENAC. I am currently working on the verification of the Paparazzi flight plan generator using Coq. I previously worked on the verification of a mathematical library of Paparazzi using Frama-C with EVA and WP plugins. I focused on the verification of the absence of runtime errors (overflows, divisions by 0…) but I also verified some functional properties.
Country:France
Affiliation:ISAE-SUPAERO
Personal website: https://baptiste-pollien.fr/
Research interests:Formal Methods, Coq, Frama-C, Critical Systems
Contributions
2023
FormaliSE
ICSE 2023-profile
View general profile
View general profile