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 FORMATS 2022 - 20th Conf. on Formal Modeling and Analysis of Timed Systems
  • PC-member of CODIT 2022 - 8th Conf. on Control, Decision and Information Technologies
  • PC-member of ICICT 2022 - 5th Conf. on Information and Computer Technologies
  • PC-member of HSCC 2021 - 24th ACM Conf. on Hybrid Systems: Computation and Control

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