Analyse Statique  Analyse d'erreur  Analyse numérique  Analyse statique  Applications multivoques  Apprentissage automatique  Apprentissage machine supervisé  Arithmétique complexe en virgule flottante  Arithmétique des ordinateurs  Arithmétique en virgule fixe  Arithmétique en virgule flottante  Arithmétique flottante  Arithmétique à virgule fixe  Arithmétique à virgule flottante  Arrondi correct  Automatisation  Bibliothèque Maple  Calcul haute performance  Calcul parallèl  Calcul symbolique  Calcule du point fixe  Certificats numériques  Compensation  Décomposition de domaine  Décomposition de domaines  Erreur d'arrondi  Erreur numérique  Erreurs d'arrondi  Fonctions multivoques  Génération automatique de code  Génération de code  Informatique  Langages de programmation  Logiciels -- Vérification  Optimisation mathématique  Précision numérique  

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 dirige actuellement les 3 thèses suivantes :

Synthèse de code virgule fixe

par Hanane Benmaghnia sous la direction de Matthieu Martel , Yassamine Seladji et de Xavier Thirioux . - Perpignan

Informatique

En préparation depuis le 16-09-2019

calcul hautes performances haute précision

par Farah Benmouhoub sous la direction de Matthieu Martel et de Pierre-Loïc Garoche . - Perpignan

Informatique

En préparation depuis le 10-10-2018

Analyse statique pour le réglage de la précision numérique

par Dorra Ben Khalifa sous la direction de Matthieu Martel et de Assalé Adje . - Perpignan

Informatique

En préparation depuis le 01-10-2018

Matthieu Martel a dirigé les 6 thèses suivantes :

Exponentiation of set-valued maps and applications

par Asma Mansouri sous la direction de Oana-Silvia Serea et de Matthieu Martel . - Perpignan

Mathématiques appliquées

Soutenue le 04-02-2020

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 . - Université Côte d'Azur (ComUE)

Informatique

Soutenue le 26-10-2018

Matthieu Martel a été rapporteur de la thèse suivante :

Managing the compromise between performance and accuracy in simulation codes

par Nestor Demeure sous la direction de Christophe Denis - université Paris-Saclay

Mathématiques appliquées

Soutenue le 11-01-2021

Matthieu Martel a été membre de jury des 2 thèses suivantes :

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

How to improve the numerical reproducibility of hydrodynamics simulations : analysis and solutions for one open-source HPC software

par Rafife Nheili sous la direction de Philippe Langlois et de Christophe Denis . - Perpignan

Informatique

Soutenue le 07-12-2016