|
| Matthieu
Martel |
 |
|
| |
|
Co-chair of
SAS 2010 - The 17th
Static Analysis
Symposium
Chairman of the DALI
seminar
Research
Interests
 Static
analysis by abstract interpretation
|
Program
validation and floating-point computations
|
| Program
transformation for numerical precision |
Validation
of hybrid systems |
Current
Collaborations & Projects
 |
Compil'HD
:
High Definition Compilation : Static Analysis and Semantics-based
Program Transformation for Numerical Precision (Appel "Chercheur
d'Avenir" de la Région Languedoc-Roussillon). |
 |
SARDANES
: Semantics,
analysis and transformation of numerical synchronous
embedded software (Fondation de Recherche pour
l'Aéronautique et
l'Espace). |
  |
MASSANE
:
Static analysis for the safety of numerical embedded programs written
in assembler (CEA-LIST,
Airbus) |
 |
Eva-Flo
: Evaluation and automatic validation for floating-point computations
(ANR) |
| Current
Students |
Former
PhD
Students |
| Arnault Ioualalen (PhD) |
Olivier Bouissou |
| Laurent Thévenoux (Master) |
Alexandre Chapoutot |
Press
Articles
- L'indépendant du 4
février 2010 (pdf)
- Le Point du 10 septembre 2009 (pdf)
|
|