معرفی
David Defour is a Professor in Computer Science at the University of Perpignan, affiliated with the Faculty of Science and Engineering and the Mathematics and Computer Science Department. He conducts research at the Multidisciplinary Modeling and Simulation Laboratory (LAMPS) and serves as Scientific Coordinator of the MESO@LR Computing Center.
His research focuses on the critical intersection of computer arithmetic and computer architecture, with emphasis on:
- Unconventional arithmetic systems (interval, fuzzy, high/reduced precision)
- Numerical reproducibility and error estimation in computational workflows
- Hardware-software co-design for GPUs, multicore systems, and embedded architectures
- Reverse engineering of computational units and power consumption optimization
Defour actively mentors master's students through thesis proposals on numerical bug detection using LLMs, SAT solvers for numerical challenges, soft error resilience in floating-point units, and reverse execution debugging for HPC. He leads the ANR InterFlop project (2021-2025) and previously managed the BPS collaboration contract (2021-2022), while serving as IT expert for the High Court of Perpignan.
The LAMPS laboratory under his research activities structures work around two core thematic axes: Characterization of Digital and Discrete Systems, and Mathematical and Numerical Modeling for Mechanics.
