Rochdi Dardor
I'm a HPC Engineer
About Me
HPC and AI engineer specialised in high-performance computing, parallel programming, software optimisation, and machine learning for critical systems. Passionate about performance engineering, low-level optimisation, andreliable AI systems, I enjoy building scalable software that combines research, systems engineering, and practical industrial applications.
HPC & AI Engineer
Specialised in HPC, AI, parallel computing and performance optimisation. Experienced with Python, C/C++, OpenMP, SIMD optimisation, computer vision, and formal verification of neural networks for critical systems.
- Paris 8ᵉ, France
- +33 7 66 35 89 33
-
github:
github.com/Drr31
- City: Paris, FRANCE
- Email: rochdi.dardor@ens.uvsq.fr
- Email: rochdi.dardor.edu@gmail.com
From low-level CPU profiling to AI model verification workflows, I enjoy solving complex performance and reliability challenges. My work combines systems programming, parallel computing, optimisation techniques, and applied machine learning for real-world applications.
đź“„ Download my CV (PDF)Skills
A snapshot of the tools and technologies I use every day. Numbers show my confidence based on production projects and hands-on experience.
Programming Languages :
C / C++, Python, PHP, JavaScript, SQL
High-Performance Computing
OpenMP, SIMD (AVX2), Parallel Computing, Multiprocessing, MAQAO, Performance Profiling,Multithreading Assembly Analysis, oneAPI
Machine Learning & AI
PyTorch, TensorFlow, Scikit-learn, Computer Vision, YOLO, OpenCV, Deep Learning, Neural Network Verification
Cloud & Systems
Linux, Docker, Git, AWS (EC2, RDS), PostgreSQL, MySQL
Resume
Education
Diplôme D'Ingénieur en Informatique – IATIC (MSc : Bac + 5)
2021 – 2025
ISTY, Université Paris-Saclay – Vélizy-Villacoublay
IATIC: Ingénierie des Architectures Technologiques de l'Information et de la Communication
DUT MMI – Multimedia & Internet (Bac + 2)
2019 – 2021
IUT de Troyes, Université de Reims Champagne-Ardenne
Focused on front-end & back-end web development, networking UI/UX and digital communication.
Baccalauréat S – Physical Sciences
2019
Abdkrim El Khattabi High School, Nador, Morocco
Professional Experience
HPC / AI Engineer | Institute of Aircraft Systems (ILS)
Sep 2025 – Mar 2026
ILS – Institut für Luftfahrtsysteme, Universität Stuttgart · Germany
- Developed CoVerNet, a formal verification framework for neural networks targeting reliability in critical aeronautical systems.
- Designed verification workflows based on formal methods, including input-space exploration, automatic property generation, and integration of the Marabou SMT solver.
- Optimised framework performance through low-level profiling, improving execution time and scalability.
- Implemented multi-process parallelisation mechanisms for large-scale verification workloads.
- Extended support to multiple neural network architectures, including CNNs.
- Stack : Python, PyTorch, TensorFlow, Parallel Computing, Multiprocessing, Linux, Machine Learning, Profiling, Optimisation.
AI Engineer Intern | PAXILIA
May 2024 – Sep 2024
Paxilia – Toulouse, France
- Developed an AI-based intrusion detection system for video surveillance applications.
- Designed a real-time computer vision pipeline based on YOLO object detection models.
- Implemented ROI-based intrusion detection using geometric mapping techniques.
- Optimised the pipeline under real-time constraints, balancing latency and FPS performance.
- Migrated the database to PostgreSQL on Amazon RDS, configured AWS security groups and TCP rules to ensure secure and controlled access
- Stack : Python ,YOLO, OpenCV, NumPy, Computer Vision, RTSP, Real-time Processing
Full-Stack Developer Intern | AAJ
April – Aug 2021
Action Jeunesse de l'Aube – Troyes, France
- Developed custom WP templates using HTML, CSS, JS, and PHP, based on responsive design mockups.
- Customized the site for optimal compatibility across mobile, tablet, and desktop devices.
- Deployed the site to an Apache2 server via FTP, resolved DNS issues, and configured secure HTTPS access.
- Installed an SSL certificate using Let’s Encrypt + Certbot, with automatic HTTP → HTTPS redirection.
- Improved SEO using Google Search Console, added robots.txt and sitemap.xml, and integrated Google Site Kit for analytics and performance tracking.
- Stack : HTML · CSS · JavaScript · PHP · Apache2 · FTP (FileZilla) · Certbot · DNS · Let’s Encrypt · Google Search Console · Google Site Kit
- All
- HPC
- Data/AI
- Research
- AdminSys
- IoT
- Web Apps
HPC/AI Research Seminar
Neural Network Verification · HPC · AI Reliability
Technical seminar presented during my work at the Institut fĂĽr Luftfahrtsysteme (University of Stuttgart), covering formal verification of neural networks, performance optimisation, and scalable verification workflows for critical aeronautical systems.
Optimising SpMV on AMD Zen 4
C · OpenMP (96 thr) · MAQAO · GCC / ICX / AOCC · x86-64 ASM
Exhaustive chunk-size sweep (600→2 000) • full assembly-level analysis (µ-ops ports, FMA, AVX vs SSE) • memory-alignment + unrolling + AVX2 intrinsic rewrite.⇒ × 2.7 speed-up vs naïve CSR on EPYC 9654 (96 c).
Contact
Let’s talk about your next project, a collaboration, or just say hello — I usually reply within a day.
Address
15ᵉ Arrondissement, Paris, France