Fiche de CHEN Yi ting

Informations professionnelles


Statut: Doctorant
ED: EDITE
Unité de recherche: LIP6
Employeur: SU


Date de debut de thèse: 30 mars 2017
Directeur de thèse: Jean MAIRESSE (LIP6)
Sujet de thèse: Concurrency, Random Generation and Model Checking Numéro PRD: 4605
Thématique : Algorithmique, combinatoire
Contrat thèse: Programmes Doctoraux

Date de prévisionnelle de soutenance: 1 juin 2021