Madame Han GAO / Docteur
Researcher within an academic field *Researcher within a company, R&D in the private sector*Steering research and innovation, managing innovative projects, steering innovative structures*Work relating to research assistance and support, innovation and promotion, developing innovative Spin-Offs and Start-Ups*
Coordonnées
Emplois
Recherche : NON
Doctorat
Titre : Informatique
1ère inscription en thèse : 1 octobre 2022 / 3A
Ecole doctorale : Mathématiques et Informatique de Marseille
Date de soutenance de thèse : 20 octobre 2025
Sujet : Combinaison des logiques modales et de la logique intuitionniste : calculs structurés et nouvelles logiques
Directeur de thèse : OLIVETTI Nicola
Co-directeur :
Unité de recherche : LIS Laboratoire d'Informatique et Systèmes
Master
Titre : Master of Arts
juin 2022 - Tsinghua University
Langues
Anglais : C2 - Courant
Français : A1 - Débutant
Chinois : C2 - Maternel