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!

News

• 📢 A funded PhD thesis will start in October 2026 on formal verification of quantized neural networks on embedded systems.
• 📢 Co-organizer of the “Toulouse Embedded AI Challenge@ANITI”.
• 📢 Co-organizer with Timothy Bourke of the GT TONES (Working Group on Optimization and Verification for Critical Systems) within the GDR SciLog.

Academic Service

• FDL 2026
• 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

People

PhD Students

• Faysal ELOUCHDI
  ENAC, University of Perpignan and University of Tlemcen (Algeria) (Mar 2025–present)

• Julien BORTOLUSSI
  ENAC, with Pierre-Loïc Garoche (Oct 2024–present)

Interns

• Léonard RIVALS
  M2 Research Internship, University of Montpellier (Mar 2026 – Aug 2026)

• Hugo SUTRA
  ENAC student apprentice at Collins Aerospace, Toulouse (2024–2027)

• Killian MALLEGOL
  ENAC student apprentice at Thales AVS, Toulouse (2024–2026)

Alumni

• Pradeep KRISHNAMURTHY-VIJAYALAKHMI
  M1 ISAE SUPAERO (Jun 2025–Sep 2025)

• Meet VACHHANI
  M1 ISAE SUPAERO (Jun 2024–Aug 2024)

• Mohsin JALEEL
  M2 IATSED (Airbus) (Feb 2024 – Apr 2024)

• Sofiane Bessai
  M2 HPC & Simulation Internship (Feb 2022 –Jun 2022)

• Kahina FELLAH
  M1 HPC & Simulation Internship (Apr 2022–Jun 2019)

Contact