Yoann Guyot
Software and System Engineering
| Ingénieur de recherche senior yoann.guyot@cetic.be 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.
