Matthieu Martel

Professor in Computer Science

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

Co-founder and scientific advisor of Numalis

Research


Research Interests

  • Computer arithmetic & numerical accuracy
  • Abstract interpretation
  • Semantics-based code transformations & synthesis
  • Validation of embedded systems
  • Safety of Neural Networks & arithmetic issues
  • Green & frugal computing
  • Precision tuning & scientific data compression

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