Monsieur Mohamed Sami CHERIF / Docteur

Coordonnées

Recherche : NON

Titre : Informatique

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

Ecole doctorale : Mathématiques et Informatique de Marseille

Date de soutenance de thèse : 13 décembre 2022

Sujet : Raisonnement et inférence pour la satisfiabilité (Maximum)

Directeur de thèse : HABET Djamal

Co-directeur : OSTROWSKI Richard

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

Titre : Master Informatique

décembre 2018 - Aix-Marseille Université

Mention : Très Bien

Anglais : C1 - Avancé

Espagnol : A1 - Débutant

Français : C2 - Courant

Arabe : C2 - Maternel