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

News

  • PC-member of ICICT 2022 - the 5th International Conference on Information and Computer Technologies
  • PC-member of HSCC 2021 - the 24th ACM International Conference on Hybrid Systems: Computation and Control
  • PC-member of ICICT 2021 - the 4th International Conference on Information and Computer Technologies

Contact


Laboratoire de Mathématiques et de Physique

Université de Perpignan Via Domitia
Bâtiment B - 2ième étage
52 avenue Paul Alduy
F-66860 Perpignan Cedex, France
France

Phone: (+33) 4 68 66 20 52


Numalis

Cap Oméga Rond-point Benjamin Franklin
34960 Montpellier, France

Email: Matthieu Martel



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