Coordonnées
sabine.frittella@lif.univ-mrs.fr
Doctorat
Intitulé : Informatique
1ère inscription en thèse :
Septembre 2011
École doctorale :
Mathématiques et Informatique de Marseille
Date de soutenance de la thèse :
1 Décembre 2014
Sujet :
Frontières de la logique modale monotone
Directeur de thèse :
LUIGI SANTOCANALE
Co-directeur :
Unité de recherche :
LIF - Laboratoire d'Informatique Fondamentale de Marseille
Intitulé de l'équipe :
Modélisation et Vérification
Master
Intitulé : Master Recherche d'Informatique
Juin 2011 - Aix-Marseille Université
Mention : Très Bien
Langues vivantes
Allemand : B1 - Intermédiaire
Anglais : B2 - Intermédiaire supérieur
Espagnol : B1 - Intermédiaire
