Abdelrahman Sayed IBRAHIM Formal verification of neural ODE for safety evaluation in autonomous vehicles

His background
I received my bachelor's degree in Mechanical Engineering, specializing in Robotics, Systems, and Control, from Nile University, Egypt, in 2020. Afterwards, I pursued a dual master's degrees in Engineering of Complex Systems from Université de Toulon in France and Marine Robotics from Norwegian University of Science and Technology (NTNU) in Norway through the Erasmus Mundus Joint Master’s program in Marine and Maritime Intelligent Robotics (MIR).

Key facts

  • [09/2023] Second Place at NTNU Faculty of Engineering Innovation Competition for Master thesis
    Awarding institution: Faculty of Engineering, Norwegian University of Science and Technology (NTNU)
    MSc. Thesis: Risk Aware Control of Underwater Snake Robots in Confined Environments
  • [06/2023] Best Student Presentation at Underwater Technology Conference "UTC2023"
    Awarding institution: Underwater Technology Foundation
  • [10/2020] Best Undergraduate Research Thesis for the academic year 2019-2020
    Awarding institution: Faculty of Engineering, Nile University (NU)
    BSc. Thesis: Design and Control of an 18 DOF Hexapod Multi-agent Swarm for Search and Rescue Missions

Summary of his thesis 
The push for higher autonomy in transportation systems for the cities of tomorrow has led to increased reliance on artificial intelligence (AI) and machine learning. However, the unpredictability and lack of formal guarantees in AI-based approaches pose significant challenges for deploying autonomous vehicles safely in urban environments. My PhD thesis aims to address these challenges by designing new formal methods to analyze and ensure the safety of AI-based perception modules in autonomous vehicles. The research findings will be applied to various transportation domains, including autonomous trains and maritime systems such as autonomous underwater vehicles and urban ferries.

What's next?
After completing my PhD thesis, I am looking forward to combining my previous experience in applied autonomous robotics with the interdisciplinary knowledge gained from my PhD thesis. I aim to advance my academic career by pursuing a Post-doc/Researcher position that will give me the opportunity to gain further experience in my scientific field and to apply my expertise towards addressing the technological and societal challenges posed by autonomous vehicles.