I am an Associate Professor at ENAC, the French National School of Civil Aviation, and a member of the Interactive Informatics Team at the ENAC Research Lab. Before joining ENAC, I completed a postdoctoral fellowship at the University of Perpignan, where I focused on fixed-point code synthesis for neural networks. I defended my PhD thesis, Fast and Efficient Bit-level Precision Tuning, at the University of Perpignan in 2021.
My research interests lie at the intersection of formal methods and embedded systems. I explore FPGA code synthesis and the efficient implementation of floating-point and fixed-point arithmetic on hardware, alongside embedded AI and neural network optimization through precision tuning, quantization, pruning, and compression.
I am looking for motivated interns, PhD students, postdocs & collaborators. Contact me to get involved!
Research Interests
- Static Program Analysis
- Programming Languages
- Computer Arithmetic
- Embedded AI
- Code Optimization
- Code Synthesis
Education
- 🎓 PhD in Computer Science, 2021 — University of Perpignan, France
- 🎓 MSc in Computer Science, 2018 — University of Perpignan (France) & University of Sousse (Tunisia)
- 🎓 BSc in Computer Science, 2016 — University of Sousse, Tunisia
News
📢 February, 2026 I am on the program committee of FDL 2026
Academic Service
- CAV 2025, OOPSLA 2025 (R1&R2), VSS 2025, CoDIT 2025, CoDIT 2024, CoDIT 2023 — Program Committee
- PLDI 2024, SAS 2023, ECOOP 2023, SAS 2022, FORMATS 2022 — Artifact Evaluation Committee
- TOSEM(2025), PLDI 2023 SRC, The Journal of Supercomputing 2022 — Reviewer
- ECOOP 2023, FORMATS 2022 — External Review Committee