Matthieu Martel
Associate professor in Computer Science
(maître de conférences - HDR)

Laboratoire ELIAUS - DALI
Université de Perpignan

 
Home Teaching Research Publications


Contact

ELIAUS-DALI
52 avenue Paul Alduy

F-66860 Perpignan Cedex
France

TEL: (+33) 4 30 19 81 24

FAX: (+33) 4 68 66 22 87

MAIL: matthieu.martel@univ-perp.fr

OFFICE: Bâtiment B, 1er étage

Research Interests

Numerical precision

Abstract interpretation


Program transformation

Validation of embedded systems


Discrete-continuous hybrid systems


Links

Université de Perpignan

Equipe de recherche DALI