Contact
Equipe-Projet DALI
Université de Perpignan Via Domitia
Bâtiment B - 1er étage
52 avenue Paul Alduy
F-66860 Perpignan Cedex
France
LIRMM
CNRS: UMR 5506 - Université Montpellier 2
161 rue Ada
34095 Montpellier Cedex 5
TEL: (+33) 4 68 66 22 02
FAX: (+33) 4 68 66 22 87
Email: Matthieu Martel
Research interests
Numerical accuracy
Computer arithmetic
Abstract interpretation
Program transformation
Validation of embedded systems
Discrete-continuous hybrid systems
News
- Video of my talk at Microsoft Research: Numerical programs: from roundoff-error detection to accurate formula synthesis
- PC-member of VMCAI'13 - 14th International symposium on Verification, Model Checking and Abstract Interpretation
- PC-member of SAS 2012 - The 19th Static Analysis Symposium
