upvd

LAboratoire de Mathématiques et de PhySique
Vérification NUmérique des Systèmes (VENUS)

Thèses dans l'équipe VENUS

  • Doctorant : Sabrina Hammouche
    Directeur(s) : Assalé Adjé, Annick Truffert.
    Sujet : Vérification de la robustesse de systèmes perturbés
    Financeur : Région Occitanie
    Début : Octobre 2019
  • Doctorant : Hanane Benmaghnia
    Directeur(s) : Matthieu Martel, Yassamine Seladji, Xavier Thirioux.
    Sujet : Synthèse de Programmes en Virgule Fixe pour les Réseaux de Neurones
    Financeur : Région Occitanie
    Début : Octobre 2019
  • Doctorant : Farah Benmouhoub
    Directeur(s) : Pierre-Loïc Garoche, Matthieu Martel.
    Sujet : Optimisation de la précision des codes parallèles
    Financeur : Région Occitanie
    Début : Octobre 2018
  • Doctorant : Dorra Ben Khalifa
    Directeur(s) : Assalé Adjé, Matthieu Martel.
    Sujet : Analyse statique pour le réglage de la précision numérique
    Financeur : Ecole Doctorale ED305
    Début : Octobre 2018
  • Doctorant : Asma Mansouri
    Directeur(s) : Matthieu Martel, Oana Silvia-Serea.
    Sujet : Exponentiation des Fonctions Multivoques et Applications
    Financeur : Gouvernement Algérien
    Début : Octobre 2016