Algorithmique combinatoire
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.
Agenda
Publications
04.02.2021
04.02.2021
Scientific papers
Fayolle, Thomas & De Landtsheer, Renaud & Ospina, Gustavo & Germeau, Fabian. (2021). A Data-thrifty Approach to Routing Optimization,...
En savoir plus
04.02.2021
04.02.2021
Scientific papers
De Landtsheer, Renaud & Fayolle, Thomas & Germeau, Fabian & Ospina, Gustavo. (2021). A Very Large Scale Neighborhood Approach to...
En savoir plus
07.02.2019
07.02.2019
Scientific papers
Renaud De Landtsheer, Gustavo Ospina, Fabian Germeau, Thomas Fayolle, A Time Window Constraint for Local Search, ORBEL33, Hasselt, February 7-8,...
En savoir plus