Madame Donia TOUMI / Docteur

Coordonnées

Recherche : OUI

Titre : Informatique

1ère inscription en thèse : 18 octobre 2010 / 3A

Ecole doctorale : Mathématiques et Informatique de Marseille

Date de soutenance de thèse : 4 décembre 2014

Sujet : méthodes incomplètes et test d'inconsistance pour SAT

Directeur de thèse : JEGOU Philippe

Co-directeur : HABET Djamal

Unité de recherche : LIS Laboratoire d'Informatique et Systèmes

Titre : master recherche sciences de l'information et des systèmes

juin 2009 - faculté saint jérôme, université aix-marseille

Mention : assez bien

Arabe : C2 - Maternel

Anglais : A2 - Élémentaire

Français : B1 - Intermédiaire