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
-
Sandbox4CS: Sandbox4CS: a research infrastructure for computer science
Vanhoof, W. (PI)
1/01/24 → 31/12/25
Project: Research
-
Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. (Researcher) & Vanhoof, W. (PI)
15/12/09 → …
Project: PHD
-
Algorithmic equivalence by generalization-driven transformations of logic programs
Yernaux, G. (PI) & Vanhoof, W. (Supervisor)
Project: PHD
-
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
-
Génération de données de test basée à base de contraintes pour des applications orientées base de données
Vanhoof, W. (PI)
1/10/10 → 30/09/12
Project: PHD
-
Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation
Berg, L., Yernaux, G., Vandeloise, M. & Vanhoof, W., Jan 2025, Proceedings of the 17th International Conference on Computer Supported Education, CSEDU 2025: CSEDU. du Boulay, B., Di Mascio, T., Tovar, E. & Meinel, C. (eds.). SciTePress, Vol. 1. p. 604-611 8 p. (International Conference on Computer Supported Education, CSEDU - Proceedings; vol. 1).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile25 Downloads (Pure) -
Optimizing Bipartite Matching with Interleaved and Injective Mappings: Implementing and Evaluating the k-swap Heuristic
Yernaux, G., Vandeloise, M., Barkallah, M., Vanhoof, W. & Jacquet, J.-M., Apr 2025, Proceedings of the 3rd International Conference on Advances in Computing Research, ACR 2025: Proceedings of the Third International Conference on Advances in Computing Research (ACR’25). Daimi, K. & Al Sadoon, A. (eds.). Springer, Cham, Vol. 1346. p. 51-62 12 p. (Lecture Notes in Networks and Systems; vol. 1346 LNNS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile3 Downloads (Pure) -
Rethinking Paradigmatic Collaboration: A New Metric for Inter-paradigm Synergy in Software Engineering
Vandeloise, M., Yernaux, G. & Vanhoof, W., Mar 2025, Proceedings of the 23nd Belgium-Netherlands Software Evolution Workshop. Perrouin, G., Vanderose, B. & Devroey, X. (eds.). CEUR Workshop Proceedings, Vol. 3941. p. 15-22Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile7 Downloads (Pure) -
A Dataflow Analysis for Comparing and Reordering Predicate Arguments
Yernaux, G. & Vanhoof, W., 12 Sept 2023, Proceedings of the 39th International Conference on Logic Programming: Imperial College London, UK, 9th July 2023 - 15th July 2023. Pontelli, E., Costantini, S., Dodaro, C., Gaggl, S., Calegari, R., D'Avila Garcez, A., Fabiano, F., Mileo, A., Russo, A. & Toni, F. (eds.). Open Publishing Association, Vol. 385. p. 41 - 54 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile43 Downloads (Pure) -
EvscApp: Evaluating the Pedagogical Relevance of Educational Escape Games for Computer Science
Kabimbi Ngoy, R., Yernaux, G. & Vanhoof, W., 2023, Proceedings of the 15th International Conference on Computer Supported Education - Volume 2, CSEDU 2023. Jovanovic, J., Chounta, I.-A., Uhomoibhi, J. & McLaren, B. (eds.). Vol. 2. p. 241-251 11 p. (International Conference on Computer Supported Education, CSEDU - Proceedings; vol. 2).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile58 Downloads (Pure)
Prizes
Activities
-
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
-
FOCUS Research Seminar
Vanhoof, W. (Organiser), Jacquet, J.-M. (Organiser), Barkallah, M. (Member of Organizing Committee), Yernaux, G. (Member of Organizing Committee), Schobbens, P.-Y. (Member of Organizing Committee), Ortiz Vega, J. J. (Member of Organizing Committee), Amrani, M. (Member of Organizing Committee), Linden, I. (Member of Organizing Committee) & Colot, C. (Member of Organizing Committee)
6 Dec 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
29th International Symposium on Logic-Based Program Synthesis and Transformation
Vanhoof, W. (Contributor)
7 Oct 2019 → 9 Oct 2019Activity: Participating in or organising an event types › Participation in conference