Matthieu Martel
Matthieu Martel a rédigé la thèse suivante :
Analyse statique et évaluation partielle de systèmes de processus mobiles
par Matthieu Martel sous la direction de Claude Charles Marc Gengler - Aix-Marseille 2
Informatique
Soutenue en 2000
Matthieu Martel a dirigé les 5 thèses suivantes :
Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods
par Nasrine Damouche sous la direction de Matthieu Martel et de Alexandre Chapoutot . - Perpignan
Informatique
Soutenue le 12-12-2016
Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks : and its application to linear algebra basic blocks
par Mohamed amine Najahi sous la direction de Matthieu Martel et de Guillaume Revy . - Perpignan
Informatique
Soutenue le 10-12-2014
Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754
par Laurent Thévenoux sous la direction de Matthieu Martel et de Philippe Langlois . - Perpignan
Informatique
Soutenue en 2014
Transformation de programmes synchrones pour l’optimisation de la précision numérique
par Arnault Ioualalen sous la direction de Matthieu Martel - Perpignan
Informatique
Soutenue en 2012
Analyse statique par interprétation abstraite de systèmes hybrides
par Olivier Bouissou sous la direction de Matthieu Martel - Palaiseau, Ecole polytechnique
Informatique
Soutenue en 2008
Matthieu Martel a été président de jury de la thèse suivante :
Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes
par Heytem Zitoun sous la direction de Michel Rueher et de Claude Michel . - Côte d'Azur
Informatique
Soutenue le 26-10-2018
Matthieu Martel a été membre de jury de la thèse suivante :
Contribution to error analysis of algorithms in floating-point arithmetic
par Antoine Plet sous la direction de Jean-Michel Muller - Lyon
Informatique
Soutenue le 07-07-2017
