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
📢 October 9, 2025 Invited speaker at the Department of Informatics, Universitas Diponegoro. Talk: “Applying Precision Tuning in HPC using Formal Methods”
Academic Service
- CAV 25, OOPSLA’25 (R1&R2), VSS’25, CoDIT 2025, CoDIT’24, CoDIT’23 — Program Committee
- PLDI’24, SAS’23, ECOOP’23, SAS’22, FORMATS’22 — Artifact Evaluation Committee
- TOSEM(2025), PLDI’23 SRC, The Journal of Supercomputing 2022 — Reviewer
- ECOOP’23, FORMATS’22 — External Review Committee