poste ATER (enseigant chercheur) à l'université Aix-Marseille
Coordonnées
donia.toumi@laposte.net
Doctorat
Intitulé : Informatique
1ère inscription en thèse :
Octobre 2010
École doctorale :
Mathématiques et Informatique de Marseille
Date de soutenance de la thèse :
4 Décembre 2014
Sujet :
méthodes incomplètes et test d'inconsistance pour SAT
Directeur de thèse :
Philippe JEGOU
Co-directeur :
Djamal HABET
Unité de recherche :
LIS Laboratoire d'Informatique et Systèmes
Intitulé de l'équipe :
Master
Intitulé : master recherche sciences de l'information et des systèmes
Juin 2009 - faculté saint jérôme, université aix-marseille
Mention : assez bien
Langues vivantes
Arabe : C2 - Maternel
Anglais : A2 - Élémentaire
Français : B1 - Intermédiaire