연구실 목록
Jan Goedgebeur 교수 연구 프로필
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 10. 31. 확인
소개
KU 루뱅 컴퓨터과학과 소속 Jan Goedgebeur 교수의 등록된 연구 분야는 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입니다.
연구 키워드
Theoretical computer scienceComputer-aided theorem proving and discoveryOptimisation problemsRamsey numbersHamiltonicity problemsChemical graph theoryGraph colouringGraph algorithms with applications in medicineGraph algorithmsGeneration of combinatorial structuresGraph theoryCombinatorics
같은 학과의 다른 연구실
- Adalberto Simeone 교수 연구실
- Anastasia Dimou 교수 연구실
semantic web, knowledge graphs
- Bart Bogaerts 교수 연구실
- Bart Jacobs 교수 연구실
computer program verification, computer programming languages
- Bert Lagaisse 교수 연구실
Software engineering, Distributed systems and middleware, Application security, Access control
- Daan Huybrechs 교수 연구실