Abdelrahman Sayed

It was great to chat to @Ab__Sayed as part of our series featuring the @RealAAAI / @acm_sigai doctoral consortium participants. We found out more about his work on formal verification of neural ODEs and how this research applies to transportation. aihub.org/2026/04/14/for…

I was recently interviewed by @aihuborg about my PhD work in formal verification of neural ODE . Check out the article below to read about my PhD research and the tools we are building for the future of transportation.

Due to a record # of submissions for our NeurIPS workshop on Symmetry & Geometry in Neural Representations (neurreps.org), we're looking for volunteers to serve as Reviewers. So many phenomenal submissions. Send me your OpenReview email if you'd like to contribute!

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification. arxiv.org/abs/2506.03227

Congratulations Abdelrahman Ibrahim on your "Best student presentation award" at UTC 2023 👏 #UTC #EMJMD #MIR #masterthesis @NTNU @univtoulon master-mir.eu/mir-student-re…

MIR Students at OCEANS 2023 in Limerick 📷 Read more on: master-mir.eu/category/news/