Biography
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.
- Formal Methods
- Coq
- Frama-C
- Critical Systems
- UAV Autopilots
PhD in Formal Methods, Present
ISAE-SUPAERO - Toulouse, FRANCE
Master’s Degree in Engineering, 2020 - 2017
ENSIMAG - Grenoble, FRANCE
Preparation for entry to engineering schools, 2017 - 2015
Univ. Grenoble Alpes - Grenoble, FRANCE
Publications
Experience
Responsibilities include:
- Development of a drone control application for parking surveillance.
- Use of Machine Learning for animal detection. Once an animal is detected, it is automatically followed by the drone to scare it away.
Commissioned by the NSIGMA Junior entreprise of ENSIMAG.
- Developed a mobile application using Ionic framework and integrated MondialRelay (Delivery system) and Mangopay (Payment system) API.
- Developed a e-commerce website using Prestashop CMS.
Responsibilities include:
- Respond to customers.
- Analysed of drone log and decided if a crash was under warranty.
Teaching
Teaching assistant
2022/2023
- Languages translation, ENSEEIHT, 1st year graduate
- Computer Science, ISAE-SUPAERO, 3rd year undergraduate
2021/2022
- Languages translation, ENSEEIHT, 1st year graduate
- Computer Science, ISAE-SUPAERO, 3rd year undergraduate
- Abstract Types and Advanced Functional Programming, Université Toulouse III - Paul Sabatier, 3rd year undergraduate
2020/2021
- Computer Science, ISAE-SUPAERO, 3rd year undergraduate
- Abstract Types and Advanced Functional Programming, Université Toulouse III - Paul Sabatier, 3rd year undergraduate
Accomplishments
Contact
- baptiste.pollien@isae-supaero.fr
- ISAE-SUPAERO, 10 avenue Edouard Belin, Toulouse, 31055