Matthieu Martel


Associate Professor in Computer Science
(Maître de Conférences Habilité à Diriger des Recherches)

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

News

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