Thomas Sergeys

Engineer · Computer Scientist · Researcher

About

Researcher at the DTAI lab of KU Leuven, in Prof. Tias Guns' group on explainable constraint programming. My work focuses on applications of Constraint Programming in industrial settings, working on practical use cases with external partners. I contribute to CPMpy, a Python modeling framework for CP supporting SAT, SMT, (M)ILP, PB and CP solvers. I also serve as teaching assistant for a constraint programming course.

Position

2023 – now
KU Leuven, DTAI Researcher

Constraint Programming applications in industrial settings

2026 – now
KU Leuven Teaching Assistant

Discrete Mathematics and Algorithms

2024 – now
KU Leuven Teaching Assistant

Constraint Optimisation and Solving

2024 – now
Roll and Skate Leuven Trainer Recreation

Roller basket, hockey, football, dodgeball — anything on skates

2025 – now
Roll and Skate Leuven Board Member

Organisation, IT support

2024 – 2025
KU Leuven Teaching Assistant

Logic For Computer Scientists

Aug – Sep 2019
Avento NV Prototype Product Development

Product Images Generator

Projects

SAELING

SAving Energy by Learning and ImproviNG logic-based optimization models

TUPLES

Trustworthy Planning and Scheduling Systems

Education

2023
KU Leuven Master Thesis

Computerised Production Planning Optimisation for Industrial Weaving Machines

Promotor: Prof. Tias Guns · Supervisor: Prof. Dimos Tsouros

2021 – 2023
KU Leuven MSc Engineering Science, Computer Science

Specialization in Human-Machine Interaction

2021
KU Leuven P&O Bachelor Project

Autonomous drone navigation - camera based positional tracking & on-drone communication network

2018 – 2021
KU Leuven BSc Engineering Science

Major in Electrical Engineering, Minor in Computer Science

Research

2026
SAT 2026: 29th International Conference on Theory and Applications of Satisfiability Testing conference upcoming · Lisbon, Portugal

Jul 20–23, 2026

2026
SMiLee 2026 workshop upcoming DTAI Machine Learning internal workshop · Marche-en-Famenne, Belgium

Jun 4–5, 2026

2026
JFPC 2026: 21èmes Journées Francophones de Programmation par Contraintes conference upcoming · Louvain-la-Neuve, Belgium

May 18, 2026

2025
Dagstuhl Seminar 25441 — Competitions and Empirical Evaluations in Automated Reasoning seminar · Schloss Dagstuhl, Germany

Oct 26–31, 2025

2025
Flanders AI Research Day 2025 event Flanders AI Research Program (FAIR) · Ghent, Belgium

Oct 15, 2025

2025
CP 2025: 31st International Conference on Principles and Practice of Constraint Programming conference · Glasgow, Scotland

Aug 10–15, 2025

2025
XCSP3 Competition 2025 competition Team submission

3× gold · 1× silver

2024
XCSP3 Competition 2024 competition Team submission

3× gold · 1× silver · 1× bronze

2024
Trustworthiness of AI in Planning and Scheduling: The Experience of the TUPLES Project publication DSA ISC 2024 · Valencia, Spain

A. Gordini, M. Pozzi, M. Lombardi, T. Sergeys, T. Guns, A. De Cesarei, S. Morandini, S. Thiébaux

2024
ACP Winter School 2024 school Association for Constraint Programming · Aussois, France

Mar 25–29, 2024

Contact

[email protected] LinkedIn GitHub