Monsieur Worachet UTTHA / Docteur


Emplois

Recherche : NON

Doctorat

Titre : Informatique

1ère inscription en thèse : 1 octobre 2012 / 4A

Ecole doctorale : Mathématiques et Informatique de Marseille

Date de soutenance de thèse : 26 septembre 2016

Sujet : Spécification et vérification des politiques de sécurité dans les systèmes distribués.

Directeur de thèse : TALBOT Jean-Marc

Co-directeur : BERTOLISSI Clara

Unité de recherche : LIF - Laboratoire d'Informatique Fondamentale de Marseille

Equipe : Modélisation et Vérification

Master

Titre : Master

juin 2012 - Université d'Aix-Marseille

Mention : passable

Langues

Anglais : C1 - Avancé

Français : C2 - Courant

Thaï : C2 - Maternel