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

Une expérience absente ?

Vous avez travaillé avec Yuchen dans une entreprise qui n'apparaît pas dans son parcours ?

N'hésitez pas à lui suggérer d'ajouter cette expérience en lui envoyant un message. Pour cela ajoutez d'abord Yuchen à vos contacts.

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 :