Matthieu Martel


Professor in Computer Science


Laboratoire de Mathématiques et de Physique (LAMPS)
Université de Perpignan Via Domitia

Research

Videos


Research Interests

  • Static analysis by abstract interpretation
  • Code synthesis and semantics-based program manipulations for numerical accuracy
  • Fixed-point and floating-point computations
  • Validation of hybrid systems

Current Projects & Collaborations

  • CAFEIN: Combinaison d'approches formelles pour l'étude d'invariants numériques, ANR Programme "Ingénierie Numérique et Sécurité". Partners: ONERA, LRI, ENSTA, CEA, Rockwell Collins, Prover.
  • Airbus: Joint PhD thesis (CIFRE, ANRT Grant).
  • Numalis: Scientific collaboration with the start'up Numalis

Current PhD Students

Past PhD Students