Thomas Fayolle

Titulaire d’un diplôme d’ingénieur et d’un doctorat en informatique, Thomas dispose d’une très bonne expertise dans la modélisation et la preuve formelle, tant au niveau logiciel que système. Par la réalisation de son doctorat, il possède une bonne connaissance de l’application des méthodes formelles dans le milieu académique. Fort de plusieurs années de consultance dans des projets industriels, il est également familier de l’utilisation des méthodes formelles dans l’industrie et plus particulièrement l’industrie ferroviaire.
Depuis son arrivée au CETIC en février 2018, Thomas se spécialise également dans l’optimisation de problèmes complexes en participant notamment au développement de la plateforme OscaR.cbls.