Rechercher

Youssef Bakouny

Doctorant(e)
Equipe Systemes surs
Mail : youssef.bakounyusj.edu.lb
Directeur de thèse : Tristan Crolard

Thèse doctorale en cotutelle entre le Conservatoire National des Arts et Métiers (CNAM) de Paris et l’École Supérieure d’Ingénieurs de Beyrouth (ESIB) de l’Université Saint-Joseph (USJ):

« Étude et développement de méthodes formelles permettant d'obtenir du code Scala concurrent certifié correct »
 
CNAM de Paris : 
  • Directeur de thèse : Prof. Tristan Crolard.
  • École Doctorale : École Doctorale Informatique, Télécommunication et Électronique (EDITE) de Paris.
  • Laboratoire : Centre d’Etude et De Recherche en Informatique et Communications (CEDRIC).

USJ – ESIB :

  • Directeur de thèse : Prof. Dani Mezher.
  • École Doctorale : Département des études doctorales de l’ESIB.
  • Laboratoire : Centre d’Informatique, de Modélisation et de Technologies de l’Information (CIMTI).

 

Publications

2017