Projects per year
Personal profile
Areas of expertise
Awards
Diplomas
Areas of expertise
Awards
Diplomas
Education/Academic qualification
Doctor of Science, Clustering and instance based learning in first order logic, KULeuven
Award Date: 30 Jun 2001
Fingerprint
Dive into the research topics where Wim Vanhoof is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
ARIAC by DigitalWallonia4.AI: Applications and Research for Trusted Artificial Intelligence (TRAIL-Foundations)
Frénay, B. (PI), Jacquet, J.-M. (CoI), Dumas, B. (CoI), Devroey, X. (CoI), Tuci, E. (CoI), Beuls, K. (CoI), Linden, I. (CoI), Burnay, C. (CoI), Vanderose, B. (CoI), Cleve, A. (CoI), Perrouin, G. (CoI), Heymans, P. (CoI), Vanhoof, W. (CoI), Ferry-Danini, J. (CoI) & Balfroid, M. (Researcher)
1/01/21 → 30/09/27
Project: Research
-
Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. (Researcher) & Vanhoof, W. (PI)
15/12/09 → …
Project: PHD
-
Sandbox4CS: Sandbox4CS: a research infrastructure for computer science
Vanhoof, W. (PI)
1/01/24 → 31/12/25
Project: Research
-
Silverkit: Plateforme autoadaptative afin de préserver la qualité d’interaction des seniors avec les outils numériques
Genin, S. (Researcher), Englebert, V. (PI), Vanhoof, W. (Co-supervisor) & Lobet-Maris, C. (Co-supervisor)
1/09/19 → 31/08/22
Project: Research
-
An anti-unification-based framework for semantic clone detection in Constrained Horn Clauses.
Yernaux, G. (PI) & Vanhoof, W. (Supervisor)
1/10/18 → 4/09/25
Project: PHD
-
Case study: proving sqrt(2) irrational with LPTP and an LLM
Mesnard, F., Payet, É. & Vanhoof, W., 23 Jul 2026, Proceedings 42nd International Conference on Logic Programming (ICLP 2026). Giordano, L., Rocha, R. & Santis Kosta, V. (eds.). (EPTCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile3 Downloads (Pure) -
Case study: solving P-99 with LPTP and an LLM
Mesnard, F., Marianne, T., Payet, É. & Vanhoof, W., 23 Jul 2026, Proceedings 42nd International Conference on Logic Programming (ICLP 2026). Giordano, L., Rocha, R. & Santis Kosta, V. (eds.). Lisbon, Portugal, (EPTCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile3 Downloads (Pure) -
Formalizing Escape Game Mechanics: A Graph-Theoretical Framework for Modeling and Analyzing Puzzle-Based Environments
Yernaux, G., VERJANS, M. & Vanhoof, W., 2 Jan 2026, Games and Learning Alliance : 14th International Conference, GALA 2025, Utrecht, The Netherlands, November 19–21, 2025, Proceedings. Bakkes, S., Bellotti, F., Dondio, P., Niaus, M., Wannick, V. & Bucchiarone, A. (eds.). Springer, p. 269-279 11 p. (Lecture notes in Computer Science; vol. 16307).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile25 Downloads (Pure) -
Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation
Berg, L., Krodinger, L., Lukasczyk, S., Panichella, A., Fraser, G., Vanhoof, W. & Devroey, X., 18 May 2026.Research output: Contribution to conference › Paper › peer-review
Open AccessFile26 Downloads (Pure) -
Solving P-99 at the age of LLM: examples and pedagogical considerations
Mesnard, F., Mariane, T., Payet, E. & Vanhoof, W., 23 Jul 2026.Research output: Contribution to conference › Paper › peer-review
File4 Downloads (Pure)
Prizes
Activities
-
Semantic clone detection in (constraint) logic programming: an overview of (some of) our recent work
Vanhoof, W. (Speaker)
5 Feb 2026Activity: Talk or presentation types › Oral presentation
-
University of Reunion Island, France
Vanhoof, W. (Visiting researcher)
1 Feb 2026 → 7 Feb 2026Activity: Visiting an external institution types › Visiting an external academic institution
-
Computer Science Logic 2022
Yernaux, G. (Participant) & VANHOOF, W. (Participant)
14 Feb 2022 → 19 Feb 2022Activity: Participating in or organising an event types › Participation in conference
-
Logic-based Program Synthesis and Transformation (LOPSTR) 2021
VANHOOF, W. (Co-chairman)
7 Sept 2021Activity: Participating in or organising an event types › Participation in conference
-
22nd International Symposium on Principles and Practice of Declarative Programming
YERNAUX, G. (Participant), SCHUMACHER, L. (Participant) & VANHOOF, W. (Participant)
8 Sept 2020 → 10 Sept 2020Activity: Participating in or organising an event types › Participation in conference