Matthieu Martel


Professor in Computer Science


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