Matthieu Martel


Professor in Computer Science


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

News

  • Best Industry Paper at ISSRE 2017 - The 28th IEEE International Symposium on Software Reliability Engineering
  • PC-member of CODIT'18 - 5th IEEE International Conference on Control, Decision and Information Technologies
  • PC-member of PEC 2018 -3rd International Conference on Pervasive and Embedded Computing
  • PC-member of CODIT'17 - 4th IEEE International Conference on Control, Decision and Information Technologies
  • Co-founder with Arnault Ioualalen and Nicolas Normand of Numalis (Video presentations of Numalis and SATT AxLR)

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

Phone: (+33) 4 68 66 17 15

Fax: (+33) 4 68 66 22 87

Email: Matthieu Martel

Research interests


Numerical accuracy

Computer arithmetic

Abstract interpretation

Semantics-based code transformations

Code synthesis

Validation of embedded systems

Discrete-continuous hybrid systems