Formal Verification of an UAV autopilot:

• Verification of a mathematical library used by the control system with static code analysis techniques.
• Verification of a flight plan generator producing embedded C code, using code generation verification techniques.

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.