Yoann Guyot

Software and System Engineering

Yoann Guyot

Software and System Engineering

Ingénieur de recherche senior
yoann.guyot@cetic.be
LinkedIn
Tél : 0471 51 38 30

Yoann Guyot est ingénieur de recherche au CETIC depuis octobre 2013.

En 2008, il obtient un Master Logiciels Critiques à l’université Paris Diderot (Paris 7), où naît son intérêt fondamental pour les méthodes formelles et en particulier la preuve de programmes. Pendant près de cinq ans, il expérimente au sein de Systerel, l’application de ces méthodes dans l’industrie ferroviaire, sur des activités de validation des logiciels de pilotage de CBTC (Communication Based Train Control) et de signalisation. Il est également contributeur de l’intégration des solveurs SMT dans la plateforme open-source Rodin (de modélisation et preuve sur des systèmes).

Son souhait est de participer au déploiement intensif des méthodes formelles dans l’industrie.

Projets (en cours)