Current position: Marie Skłodowska-Curie PhD Fellow @Université Gustave Eiffel
Research Topic: Formal verification of neural ODE for safety evaluation in autonomous vehicles
My research focuses on developing tools/methods for formal verification and reachability analysis for neural ODE. I apply these techniques to ensure the safety of autonomous vehicles, specifically Automatic Railway Vehicles (VAL) and Autonomous Underwater Vehicles (AUV).
Background:
- MSc in Marine Robotics, Norwegian University of Science and Technology, Norway
- MSc in Engineering of Complex Systems, Université de Toulon, France
- BSc in Mechanical Engineering from Nile University, Egypt
Supervisor: Pierre-Jean Meyer (UGE)
Co-supervisors: Mohamed Ghazel (UGE) , Asgeir J. Sørensen (IMT)
Funding:
- European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie COFUND grant agreement no.101034248 (CLEAR-Doc)
