Scholar
Abdelrahman Sayed Sayed
Google Scholar ID: iZw1TVEAAAAJ
PhD student @ Université Gustave Eiffel - ESTAS
Citations & Impact
Citations
146
H-index
5
i10-index
5
Publications
10
Co-authors
7
list available
Publications
Resume (English only)
Academic Achievements
- Publications: 1. 'Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency', accepted in NeurReps 2025 (co-located with NeurIPS 2025); 2. 'Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification', accepted in SAIV 2025 (co-located with CAV 2025).
Research Experience
- Currently a PhD researcher at ESTAS lab, previously an Erasmus Mundus Joint Master’s degree scholar.
Education
- PhD: Université Gustave Eiffel, Advisors: Pierre-Jean Meyer, Mohamed Ghazel, Asgeir J. Sørensen; Master's: Marine and Maritime Intelligent Robotics (MIR), Specialization in Safe Autonomous subsea operations, between Université de Toulon, France, and NTNU, Norway; Bachelor's: Nile University, Major: Mechanical Engineering, specializing in Robotics, Systems, and Control.
Background
- Research interests: developing tools/methods for formal verification of neural ODE using reachability analysis. Broader interests lie in AI controlled systems, control theory, and formal methods.
