News
- PC-member of PECCS 2014 - 4th International Conference on Pervasive and Embedded Computing and Communication Systems
- PC-member of PECCS 2013 - 3rd International Conference on Pervasive and Embedded Computing and Communication Systems
- PC-member of VMCAI'13 - 14th International symposium on Verification, Model Checking and Abstract Interpretation
- Video of my talk at Microsoft Research: Numerical programs: from roundoff error detection to accurate formula synthesis
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
Code Synthesis and Semantics-Based Transformations
Validation of embedded systems
Discrete-continuous hybrid systems
