Menu

Yuchen XIE

LILLE

En résumé

Je suis docteur (BAC+8) en "Automatique, Informatique, Génie industriel" et je cherche un emploi dans l'industrie ou dans la recherche.
Mots clés: Modélisation et vérification des systèmes discrets, Sécurité, Systèmes de contrôle ferroviaire, Réseaux de Petri colorés (Colored Petri Nets).

Entreprises

Pas d'entreprise renseignée

Formations

  • Ecole Centrale De Lille

    Lille 2014 - 2018 PhD

    Formal Modelling, Verification and Analyse of Railway System Control Systems using Coloured Petri Nets.
Annuaire des membres :