Overall polish

Author: ab-sayed

_bibliography/papers.bib

@@ -5,20 +5,21 @@ @string{aps
 
 
 @inproceedings{sayed2025bridgingneuraloderesnet,
-      bibtex_show={true},
-      title={Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification}, 
-      author={Abdelrahman Sayed Sayed and Pierre-Jean Meyer and Mohamed Ghazel},
-      abstract={A neural ordinary differential equation (neural ODE) is a machine learning model that is commonly described as a continuousdepth generalization of a residual network (ResNet) with a single residual block, or conversely, the ResNet can be seen as the Euler discretization of the neural ODE. These two models are therefore strongly related in a way that the behaviors of either model are considered to be an approximation of the behaviors of the other. In this work, we establish a more formal relationship between these two models by bounding the approximation error between two such related models. The obtained error bound then allows us to use one of the models as a verification proxy for the other, without running the verification tools twice: if the reachable output set expanded by the error bound satisfies a safety property on one of the models, this safety property is then guaranteed to be also satisfied on the other model. This feature is fully reversible, and the initial safety verification can be run indifferently on either of the two models. This novel approach is illustrated on a numerical example of a fixed-point attractor system modeled as a neural ODE.},
-      booktitle={International Symposium on AI Verification},
-      year={2025},
-      eprint={2506.03227},
-      archivePrefix={arXiv},
-      primaryClass={cs.LG},
-      url={https://openreview.net/forum?id=8r0dHcrZ2j}, 
-      pdf={https://arxiv.org/abs/2506.03227},
-      abbr={AI},
-      preview={SAIV25.gif},
-      selected={true}
+  bibtex_show={true},
+  title={Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification}, 
+  author={Abdelrahman Sayed Sayed and Pierre-Jean Meyer and Mohamed Ghazel},
+  abstract={A neural ordinary differential equation (neural ODE) is a machine learning model that is commonly described as a continuousdepth generalization of a residual network (ResNet) with a single residual block, or conversely, the ResNet can be seen as the Euler discretization of the neural ODE. These two models are therefore strongly related in a way that the behaviors of either model are considered to be an approximation of the behaviors of the other. In this work, we establish a more formal relationship between these two models by bounding the approximation error between two such related models. The obtained error bound then allows us to use one of the models as a verification proxy for the other, without running the verification tools twice: if the reachable output set expanded by the error bound satisfies a safety property on one of the models, this safety property is then guaranteed to be also satisfied on the other model. This feature is fully reversible, and the initial safety verification can be run indifferently on either of the two models. This novel approach is illustrated on a numerical example of a fixed-point attractor system modeled as a neural ODE.},
+  booktitle={International Symposium on AI Verification},
+  year={2025},
+  eprint={2506.03227},
+  archivePrefix={arXiv},
+  primaryClass={cs.LG},
+  url={https://openreview.net/forum?id=8r0dHcrZ2j}, 
+  pdf={https://arxiv.org/abs/2506.03227},
+  code={https://github.com/ab-sayed/Formal-Error-Bound-for-Safety-Verification-of-neural-ODE},
+  abbr={AI},
+  preview={SAIV25.gif},
+  selected={true}
 }
 
 @inproceedings{sayed2023risk,
@@ -33,6 +34,7 @@ @inproceedings{sayed2023risk
   url={https://ieeexplore.ieee.org/abstract/document/10244516},
   pdf={https://hal.science/hal-04721094/},
   abbr={Robotics},
+  preview={OCEANS23.gif},
   selected={false}
 }
 
@@ -47,7 +49,9 @@ @inproceedings{sayed2023design
   organization={IEEE},
   url={https://ieeexplore.ieee.org/abstract/document/10152432},
   pdf={https://hal.science/hal-04721193/},
+  code={https://github.com/Walid-khaled/PID-Control-for-Self-Balancing-Twin-Rotor-using-Brushless-DC-motors},
   abbr={Control},
+  preview={ICCAD23.gif},
   selected={false}
 }
 
@@ -62,7 +66,9 @@ @inproceedings{sayed2020centralized
   organization={IEEE},
   url={https://ieeexplore.ieee.org/abstract/document/9257919},
   pdf={https://ieeexplore.ieee.org/abstract/document/9257919},
+  video={https://vimeo.com/453659151},
   abbr={Robotics},
+  preview={Niles2020.gif},
   selected={true}
 }
 

_data/socials.yml

@@ -7,7 +7,7 @@
 # bluesky_url: # your bluesky URL
 # dblp_url: # your DBLP profile url
 # discord_id: # your discord id (18-digit unique numerical identifier)
-email: you@example.com # your email address
+email: abdelrahman.ibrahim@univ-eiffel.fr # your email address
 # facebook_id: absayed # your facebook id
 # flickr_id: # your flickr id
 # github_username: absayed # your GitHub user name
@@ -49,3 +49,7 @@ scholar_userid: iZw1TVEAAAAJ # your Google Scholar ID
 #   logo: https://www.alberteinstein.com/wp-content/uploads/2024/03/cropped-favicon-192x192.png # can be png, svg, jpg
 #   title: Custom Social
 #   url: https://www.alberteinstein.com/
+custom_social:  # can be any name here other than the ones already defined above
+  logo: data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAOAAAADgCAMAAAAt85rTAAAAxlBMVEWMGxP///+dnZ2HAACJDQCDAACLGA+IAADy6emKFAmIBgCLFw6doKCwbGn79/f58/OcPzibkI+5hILRs7KQQj7In56NIxyoZGKXd3XOqKbEl5WZh4aaRUGsYVyVb26Yf32OKSKNLCfp19aQSkePOjbfwsCXNS+4dXCcl5eUZWPt4eDjz86OMy6ajIyaR0OjWleeUE26f3ySVFHcvLqvc3G+jIrJmpelTUedPDWzbGegRT60f32pWVTJpaS/hYGNLimUX12RUk4PpABZAAARnUlEQVR4nO1da0PiOhMuJk2bBgoKVGC9VFZYBS+osJ5V3HX//5962yYzSS+4cFYP6pvny65pmuZJJpPJJBMcx8LCwsLCwsLCwsLCwsLCwsLCwsJifTBOPeIqEEI523aNXhc0Orj+OfLDWgp/+r1xFX8miozM2n4th+Zdg34ahlzMh7US/AHh267Z68BrDcMyvwSjB/IZOpEuK9llGLCPz5DO/NUEw3mw7fr9LRi7W82vVpuQbVfwb+E9GuOvfbM/m13Pu01DSFcwZClWlMnYS09zmf6q7uuAzjWXO48ElHNKibdAis0ZlTlF4KXIRJZRGsVxHNFAlCvOA5E+jCMR5KZSnhUQZElCFhA79K3nIoLzQ3PAdW1JAwfmXSSr1NobLBaLwV4ydYhof9C+G43ag/mYFgoUYrb3lD68az89zhw90fDZYpC+f8KS9hnPu1me/mA/etO5SMSoTgbU7A0yB8kN5xkHui87tTkW3OkD/XDYyjMMov7EGMGjK5TwYE+mPQaMLYYoIX774i0ZBt/wQ1FO2liEuqcvWEZQkmruk8i0CoYtY65k7qFBLyt25jIgGKqB4HZzWe54UQpeEWQKn7kpKJOgAY08bAmDYK390MzVL1ygqhBRv1bCgPEcwWGrlOn+zRiyCIdacbCLGLnPuElwUrTqwgaF0p7K/GrhUyxMgs1RyWyaxGVd9TrgS+iNiVt85rXh+9kgRIJlwFwZ4LithZOJptElJsEqrJqL/hp0DgT7pU+QAXx+4b1MsHYvhdDFHKPZwcEVvl/LhuFLBEdvNVd4C/jookSQYn98JwWCk0XkuvFAzySyi4BReO8m0yknOFgze88k6HcfXNdbYgHDhzfSpAT12U3J5qTLXO8aBO8CkowZ4V5jfVMNzA8g/55qLAJGxJDkCU7H2UKMHIDK9fffSM0Q1AqN0hf4PVT4Lk/QP1B5XVCHzfRtFOnhWKkMMVZ6yk9TDIIwd1Jo3/DxjWx6goqk3IS6R6Z5gu1IjRiKXZioEUZH0OFCSDtTcEWgeUhNgiNQaFoF7G2DIPbgKE9wAJXhKGJtorurNsiszMwaVZ0apvXXBPc8IHgNBbwZwbVEtEAQKyPG0GmjIGEL8+NwhFBJ4cAzCWJj8vthsczXJvgvlIyyTZ10YgcBmCYSel0w0kyk85wmOAOVyR/emuBL00SwYppoVhGMGW284BjomgSbV/8dQXqY05Q5aPH9GVQTdBxQoynBed5EXU3QP/jvCPJ7aPYKUw2XE42cqWb2oEmw8R4JMme1sT1eYWzrOcsQ0YhpJTTql7BPt0TwpeUSitw0v1zSWt7QojRZsIOSWTFpb4cg/QEE/ThnDooYKl/r5ha8yd9Yvytog9w82KWsiO0RZB6Ok3aOIcFVqX+tXBYogmCK0YZKSec5bcmMTipXd9sh6Lgoo0nLY8UY0c62ttQpmiCq+YItClo3nOWNBka3SRB7IW16zw1ogoB42jPaVIs9czXhBlwITtBh5acrcnoI8+bUpUKqrMQcDVz+g26RoOE+S6v+szG73r/pG0lgAZjrQf/mqtU6uMFGaGd5tGE7bFwwL/ACEY2vbhIRcbdJkFGsVxWGoFzzK/rmcGj82VIreu2tmfZTH+pTe5Q2QnOrBB169dLmCxrhL/lklJEQ3FQ/3zLBhOFqfgsB8/8LBGEHijkVXsN3QNAJWtNKf1A4GmunLhIcFkS6uUClKbxuVUHhtgk6nM/LzspwuGduYSPB6T9PptU53TdMIObNpyWTtDnNuw23QNBhgfM4zVdrujfOfVQ7fmdeQ+cdtfJV8+JGoaD2/B/l+FUJfsVyafHm+6yMjo1jJKPv+xc078lDgv4hpeOfmVD77ZuT0u4SvZj3VTc2J6Pv17HaYuOH/XaGLlhCDht/l0ntt/Kq5WuWOwhUNLf0cilRrCKQWUnF/mBSEJaTFoSjmBMF/Q6DpP+A35+QI/gZUbmi/0ywBD867Bj86LAEPzrsGPzogINAxubL5wIb//iW4cc/b3XmY8tgVOGT8rOwsLCwsLD4F+Cf2zYQpPXj248x2R5FnoN45YowJv3cd292aPlP4PcmHlpj8aoxdeQ7OPC3FSLkDvOYjp5mJHi1E8YuHmDzthTG5tZKaA5v6GuNGX2M23k/BNNF7aAUsvMvi8ce3JqIVhJMz82/CkNvocrrvjeCtcmr+JYYb2f7bINoW5GkKwnWRq8S3Cei2XwxP3C2Ng8iwdD3/WbT2Mj2X8c9mF5AsM1bB5Bgf9xq3R/uPemzLt1itVhqdb1WZdNATMrFmzNHggOSGDI0IC08RDEdm3IliCvul4eHyweB+7ocN3JzZeIGb/L/oCoHo4S0lsvD5f04QLuCwWtBuSD9Nq/84noEZQLFY5H6sED69WgwTEQ4ge9Pb6LseAm/mvgSOR1J7lTqhDjBQv3/ycjBvcP2BApr33vZZ9gYXtuDoUHgZb+N5/SXTZkyXZdhiaBxkBJPxzvU2c8poOZjGg6rj4hODSUpMGTvjuhj/dpUY3ScP5/fbmX7+B4GlmDdcLigMFWUtzFBfRJfH/+/7heO0YT99BAGh2ieybVWSPrw9jyoqJDg82L8weQmHdcYGqTZ6BxQPoYcl8Mg/oJgUHWKK2l3IxhkoKUZ4w4nB7xMkEXd8uH1MH0dYxlD9V3+oHOoY9JiDGdZrtZdElSIqD7Yqj5EKw96TVtJ/RelWAgtt/3E/CwRdCuvJUgvXGABNKPa/CALnUEdo8ZYju7aS54SQR3aCqJCdST6tN/XR7X6jOnxhu0TwMUDk9TYKxI0DiRO7vptFNast/v5vMQQZXVMGo6kbhCOVyQoPDzn2pcLAB2tPNl3CSH78N20UngieooRZTCUsmqWCGKlux4h7hjj1ZMupIdQcFYWn2XfDZvwrVRtq7aerr8BpAm6ySRIXL6AKoRSXevj96NZVkmK8QOJKOkT0WoNidmbWSMXCGoFNJATDb0OsYGEA2Vla0dPDpWplOlMy1A47jZa//4EJDj68e1m0R76OkxTehmw0CHERXrQ0sk0wFDTyYPZSSODhGa1LBBEBTRSLgyGujNJwMVjGnbO1FD5KUuQWhOEeIOg5tWrCbleYjFoBT3zwPyUngNFBmrmxUgTWaM8QTxdqG9xwdiLEcn7NyCabfwIj3W8ot9a362yiuBQrXix0PCGwAYheVSZkk7CKFA/GxZiDAVIIcoTRAmdxoEqK8AwWI9RsCYmRJ++dK99aEz81iZ3wKwgOFmqJuYzJXLhIjFEJZagvxOx0g0gQ61BSw6l0skTDKBlpljWYUN1qh8x3oIeSvS3iu8duarXkwbDwjfxYFUTbB+AltJxuk0DKimRFH1OO/sqalUVjZAn6GEgermsjJR63mxQuEujESjH45LquIUfGyzkKgneuNoKnVdlUEij31GpDhNNjmGxcGy5MAa7lcXINxIRxyjSNuEyFiCZHpThkRTgggLcxP1RSXCiF0qrQgWQIHJIw+5QJ0Kkdo4gE1V3XQDBltBGxnQcyPF4l0ZeZrwmREQq67AU67gOwcRI6bdxloIIujUIYhRplzoBzJkDMI5zBFl12AESxPf9fSK/mxgbKoizeUXg9rCNHFh6oveM8TRBn1rwkojKsCawTkYxbSmNoa3/tXswTAmibbtw5ZSxSGxULqfHgQu6bSNfimGqsUSNgY6AiVibKs3Df1oFPMgsHnTyNQGjoA2WRmGagL9S/0gRaXbeUnN9X66LMpuTyG4dgQLTYQkbEnTMyH2wFfgMCC4DXoTMwii0CpjLejFTmCYW+FepLNmgsN6787KuzO7qUaNkGoEG2sgFWTC2CcY8XoPpBaG75UB0LAP6nY2g/eFRoQdhtTNc1QmwVptKhTJKaat14RAuLxls5O0rEGQEw7LlhVp6eVeaXbEdPZDMpWrjJVahQFBf7eA5lYAVxWRpfFNGqU5uZNU2vLmkuFzSFx2OMgZMQBX9uWnCpzerwf/5gWqVn/KfplbjeYLMAS07OTBrybEsMN7DrCgV8C0HYVPp+A034ooEtSYNH7Mu1K3uLzwqOXNKonn3J9YKws3vckWVCRq3DI3GhMvCUhfiYx9MJxD3rKimvEdH2qihvEJz09sWy27DK3NB66QCiDestfcj13W9+D4L3rnDwU7VKl42sRnDWyAoYlzwThf3wnUJHR8ORknVwf8Dfgo5uUuZURKiwo423CuucDrhZCUnVEa1y6npT4aT1MWf1RkJ4kpbdY5xw15hRW/4WULfn6R+VbluB4LU9E+qJZiO168ZIan/mqDQ98LJJdOq+0c1wXyYrKnligQZqb6zBAnieE6BituwgDa9wKtM0KHgm6tNr7K6kkXZ05cjmAuTzWm5kleNt8qRiiZBvcCu4W1f2s9TU+bh3xHUl01lrsHUhpwXYgIz3BkTrr6YJuflrnD80mhRxRCdzCYZvDlI33QSbrqRWkVQX8JR+55t/zB68q3UicOGUYy+BNIw1CsJOoLNSs0V9mM9nrUv0cU0HDXla2H+RFAtO8OFUS+6P1GpvmpZ4dG+r3cPm/4wdnPzrTuRi9hwkvOXkIFKNi6mY5RcT7VzK2z6bce4AJI8qeVwiKsGFo8gbW2XPXJpKByY2jdaqtRvLVQkXrxc9NvZvaGD+YNXGAoc3tjPJx+o5FkuPyWtG3nBaLu7t4xzZzrwlcaDTobSG+ONt4qrj5pzSDbGk+Ceitf0aHmk4xvVycUXeADBnwEX1a+YVapKs7CwsLCwsLCwsLCwsLCwsLCwsLCwsLBYD6Lo9P9kEKe9BEdbixh8c9BePcFZ/FkJsnh3J8HupyXIv559coJHO++YoMigLqrnMuKzuEEpHwr5lBZvhxAnX+qSIDcLeyeITjOcsPRM16/O83mC285FOcRYRBed2/Tp8+/TX+ZPMwrneUf2YOdUF/ZeIDpnqQKs96jD4/PLusLuef7HNpLu+9o7q+Pjowvct6anvTNJcAcen7+ji/REJ1OA9UtKT7/s1HcQx6e5cF7+vGs83Kl/6chpnfHOpfkgwzskuLMbdXbzFd09NX6ONb4skjg7z4ZadH5WfPI+CZ4dFTuivqN/6DOR4xKL+pfkOVP65f0T3Klg8Ay/N3yBLLIhBv9PeHwgglh9rHD9i6onf4aUs16iRXuQI5n3UoLGG+9Xycj6XT53Tju3KI67vzI9g71Uv+xEiVhGvyFHSuTi9LSjBug7nSaQ4NltNodTuosJmZrht4pfT975wFJ9K7s4YSIEj1UDvMuJXhOsP0N43W/oQilqwbEiiCeLqbQ9d3a/ZkcvT5Dge2KmoAkqgUx1Cmj+o4wgV3x38XCiWj3s7Nx+IIL1HixXtWbMCPKvIKEeReyqTv9IBM/xNy+inkmQKgnd+XKucabeyfJ/DIJS3FIUCHLUQnUNlXCU5f8YBM9+VxNkkTFRFvCxCH79fyUYV4mowqcgiD14eVzCbZb/YxN0wLCpPztRCVn+j05Q/VU/qv4dzA9PkHdKlkwe748gNw7r/5mgQ0HHXBQCBYqWz3shSL+e93rnHSlg6xAEGT02GTIe/Irl/2Jl65wpJwfbbqQDTeysxBQ5k7bnGgRRRncuO0G2IOKces7X3uWFyOfvxalseM7FtrjJ6qrlqrSU1yDoOEdgmtWPf6eL2q+3mYPx7EKUnicL/t368TaIAeg5DKleWv11CKqtB0kh6XywRncVQf5czz/fLsEjqMtlusBdqwcdaJQ8kGAnb819PILMOdeeJQ0UUaeXe7pdgvxWyZv0fa3Xg4xeHJdco/VLICiinPNwuwSZIytTP8t88wlBaTfnCSpbWrv/BPt9nHcQ7vZOcdoT0TE6VpNM51udD7ncbrm8lVU7PZJ2c0/vRUTPypZ+Nmd2enJ+dLwr1cjZl95zRxhPRfzcu0yf7ex+6d1uecIXF53b56+/4M9YwcgRqaQo/56I4gvp+Lw4iURh94lHv+DRFm+/lRDpXSdYiZzhnE8rvcmEwgvPXuUiZAsLCwsLCwsLCwsLCwsLCwsLCwsLCwuLj4n/AUsTqWR0K7qpAAAAAElFTkSuQmCC # can be png, svg, jpg
+  title: OpenReview
+  url: https://openreview.net/profile?id=~Abdelrahman_Sayed_Sayed1

_pages/about.md

@@ -1,8 +1,8 @@
 ---
 layout: about
-title: about
+title: About
 permalink: /
-subtitle: Marie Skłodowska-Curie PhD Fellow @[Université Gustave Eiffel](https://clear-doc.univ-gustave-eiffel.fr/phd-students/phd-topics-2nd-cohort/abdelrahman-sayed-ibrahim)
+subtitle: Marie Skłodowska-Curie PhD Fellow <a href='https://clear-doc.univ-gustave-eiffel.fr/phd-students/phd-topics-2nd-cohort/abdelrahman-sayed-ibrahim'>@Université Gustave Eiffel</a>
 # subtitle: <a href='#'>Affiliations</a>. Address. Contacts. Motto. Etc.
 
 profile:

_pages/cv.md

@@ -1,11 +1,23 @@
 ---
-layout: cv
-permalink: /cv/
-title: cv
-nav: false
+
+# Motivated from: https://github.com/alshedivat/al-folio/issues/895 and https://github.com/DoHaiSon/dohaison.github.io/blob/source/_pages/more.md
+layout: page
+title: CV
+nav: true
 nav_order: 5
-cv_pdf: example_pdf.pdf # you can also use external links here
-description: This is a description of the page. You can modify it in '_pages/cv.md'. You can also change or remove the top pdf download button.
-toc:
-  sidebar: left
+dropdown: false
+newtab: true
+permalink: /assets/pdf/Abdelrahman_Sayed_Academic_LaTeX_CV.pdf
+
+
+# Original setup
+# layout: cv
+# permalink: /cv/
+# title: cv
+# nav: true
+# nav_order: 5
+# cv_pdf: example_pdf.pdf # you can also use external links here
+# description: This is a description of the page. You can modify it in '_pages/cv.md'. You can also change or remove the top pdf download button.
+# toc:
+#   sidebar: left
 ---

_pages/publications.md

@@ -1,7 +1,7 @@
 ---
 layout: page
 permalink: /publications/
-title: publications
+title: Publications
 # description: publications by categories in reversed chronological order. generated by jekyll-scholar.
 nav: true
 nav_order: 2