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

  • TYCOON: Strongly Typed Numerical Computations, Office for Naval Research Global (ONRG), Grant N62909-18-1-2068. Partners: Numalis.
  • SYFI: Code Synthesis for the Fixed-Point Arithmetic., Groupement pour la Recherche Appliquée INnovante avec les Entreprises (GRAINE), région Occitanie, Partners: Numalis, ONERA, IRIT.
  • Numalis: Scientific collaboration with the start'up Numalis

Current PhD Students

Past PhD Students