Abdelrahman IBRAHIM
ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité
CFR / COSYS - Département Composants et Systèmes
ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité
Villeneuve d'Ascq Cedex
20 rue Élisée Reclus$BP 70317$F-59666 Villeneuve d'Ascq Cedex
Abdelrahman IBRAHIM
ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité
ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité
CFR / COSYS - Département Composants et Systèmes
ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité
J'ai reçu mon B.Sc. diplôme en génie mécanique de l'Université du Nil, en Égypte, en 2020. Ensuite, j'ai été boursier du Master conjoint Erasmus Mundus en robotique intelligente marine et maritime (MIR), avec une spécialisation en opérations sous-marines autonomes sûres entre l'Université de Toulon en France et la Norvège Université des sciences et technologies de Norvège. Actuellement, je suis ici au laboratoire ESTAS pour un contrat de doctorat Marie Skłodowska-Curie COFUNDED CLEAR-Doc sur le thème de la vérification formelle d'équations différentielles neurales pour l'évaluation de la sécurité des véhicules autonomes.
Google Scholar:
https://scholar.google.com/citations?user=iZw1TVEAAAAJ&hl=en
Nouvelles récentes:
MIR student receives “Best student presentation award” for master thesis work at UTC 2023
MIR Students at OCEANS 2023 in Limerick
UTC conference 2023 - Day 2 recap: Young talents, innovation and happy exhibitors
I received my B.Sc. degree in Mechanical Engineering from Nile University, Egypt, in 2020. Then, I was an Erasmus Mundus Joint Master’s degree scholar in Marine and Maritime Intelligent Robotics (MIR), with a specialization in Safe Autonomous subsea operations between Université de Toulon in France and Norwegian University of Science and Technology in Norway. Currently I am here at the ESTAS laboratory for a Marie Skłodowska-Curie COFUNDED CLEAR-Doc PhD contract starts in November later this year on the topic of Formal verification of neural ODE for safety evaluation in autonomous vehicles.
Google Scholar:
https://scholar.google.com/citations?user=iZw1TVEAAAAJ&hl=en
Recent news:
MIR student receives “Best student presentation award” for master thesis work at UTC 2023
MIR Students at OCEANS 2023 in Limerick
UTC conference 2023 - Day 2 recap: Young talents, innovation and happy exhibitors