Amira Elouazzani

• ◦ Design and implementation of a complete AI verification pipeline, including time series preprocessing, hybrid architectures integration, and formal robustness guarantees generation within the European ULTIMATE project.

• ◦ Optimization of a custom YOLOv5 model (CSP, SPPF) to improve its verifiability against adversarial and patch attacks.

• ◦ Comparison of internal and commercial radar simulation tools; rapid appropriation of a new technical domain.

• ◦ Documentation and automation of internal processes.

Assistance to high school and middle school students in scientific subjects: math, physics, and computer science.