Matthieu Martel

Matthieu Martel is a Professor in Computer Science at Université de Perpignan Via Domitia and serves as Vice-President for International & Cross-Border Relations. He leads the Laboratoire de Mathématiques et de Physique (LAMPS) and is a co-founder and scientific advisor of Numalis, a startup focused on reliable numerical computation. His research spans precision tuning, scientific data compression, numerical accuracy, and safety-critical systems. He has advised numerous PhD students and collaborates on projects like Linguatec IA and Numalis.

Research Interests: Green computing, precision tuning, neural network validation, embedded systems safety, and abstract interpretation. Recent work includes error-bounded compressed array computations and formal verification of neural networks.

Professional Activities: Organizes EJCP 2024 and serves on conference committees (CODIT, CoDaC, ICSRS). Awards include the Best Paper Award at DRBSD 2023 and SC '23 Workshops.

Labs & Teams: Active in LAMPS lab and collaborates with Numalis on software tools for reliable numerical computation.