Lab directory
Prof. Jan Goedgebeur — Research Profile
KU Leuven · Department of Computer Science
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Oct 31, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs, and keep your contact prep in one place.
What to prepare before emailing a PIAbout
Prof. Jan Goedgebeur at KU Leuven Department of Computer Science lists Theoretical computer science, Computer-aided theorem proving and discovery, Optimisation problems, Ramsey numbers, Hamiltonicity problems, Chemical graph theory, Graph colouring, Graph algorithms with applications in medicine, Graph algorithms, Generation of combinatorial structures, Graph theory, Combinatorics as their registered research area.
Research keywords
Theoretical computer scienceComputer-aided theorem proving and discoveryOptimisation problemsRamsey numbersHamiltonicity problemsChemical graph theoryGraph colouringGraph algorithms with applications in medicineGraph algorithmsGeneration of combinatorial structuresGraph theoryCombinatorics
Other labs in this department
- Adalberto Simeone Lab
- Anastasia Dimou Lab
semantic web, knowledge graphs
- Bart Bogaerts Lab
- Bart Jacobs Lab
computer program verification, computer programming languages
- Bert Lagaisse Lab
Software engineering, Distributed systems and middleware, Application security, Access control
- Daan Huybrechs Lab