Thomas is software engineer with a degree from ENSIIE and a PhD from university of Créteil and Sherbrooke. He has a strong expertise in the field of formal methods for software specification as well as system specification. Through his PhD studies, he gained a good knowledge of the state of the academic research in this field. In parallel to his PhD, Thomas is also working as consultant to apply formal methods in the industry, especially in railways.
Since he joined CETIC in February 2018, he is also specialising in the optimisation of complex systems and is contributing to the development of the OscaR.CBLS optimisation engine.
Agenda
22.11.2024
22.11.2024
External activities
En savoir plus
04.02.2021
04.02.2021
CETIC talks
The purpose of the International Conference on Operations Research and Enterprise Systems (ICORES) is to bring together researchers, engineers,...
En savoir plus
Publications
08.01.2025
08.01.2025
Publications scientifiques
Thomas Fayolle, Quentin Meurisse, Renaud De Landtsheer, Fabian Germeau, Stefano Michelini, ’OscaR.cbls 6.0 : Review after 12 years of Continuous...
En savoir plus
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