Matthieu Martel


Professor in Computer Science


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

News

  • PC-member of CODIT'17 - 4th International Conference on Control, Decision and Information Technologies
  • PC-member of SAS 2016 - 23rd Static Analysis Symposium
  • PC-Chair with Pavithra Prabhakar and Sergiy Bogomolov of NSV 2016 - 9th International Workshop on Numerical Software Verification
  • PC-member of PEC 2016 - International Conference on Pervasive and Embedded Computing
  • 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