Profil personnel
Domaines de compétence
Prix/Distinctions
Diplômes
Lic. Informatica K.U.Leuven, 1996.
Domaines de compétence
Prix/Distinctions
Diplômes
Lic. Informatica K.U.Leuven, 1996.
Qualification académique
Docteur ès sciences, Clustering and instance based learning in first order logic, KU Leuven
Date d'octroi: 30 juin 2001
Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
-
ARIAC by DigitalWallonia4.AI: Applications et Recherche pour une Intelligence Artificielle de Confiance (TRAIL-Foundations)
Frénay, B. (Responsable du Projet), Jacquet, J.-M. (Co-investigateur), Dumas, B. (Co-investigateur), Devroey, X. (Co-investigateur), Tuci, E. (Co-investigateur), Beuls, K. (Co-investigateur), Linden, I. (Co-investigateur), Burnay, C. (Co-investigateur), Vanderose, B. (Co-investigateur), Cleve, A. (Co-investigateur), Perrouin, G. (Co-investigateur), Heymans, P. (Co-investigateur), Vanhoof, W. (Co-investigateur), Ferry-Danini, J. (Co-investigateur) & Balfroid, M. (Chercheur)
1/01/21 → 30/09/27
Projet: Recherche
-
Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. (Chercheur) & Vanhoof, W. (Responsable du Projet)
15/12/09 → …
Projet: Projet de thèse
-
Sandbox4CS: Sandbox4CS : une infrastructure de recherche pour les sciences informatiques
Vanhoof, W. (Responsable du Projet)
1/01/24 → 31/12/25
Projet: Recherche
-
Silverkit: Plateforme autoadaptative afin de préserver la qualité d’interaction des seniors avec les outils numériques
Genin, S. (Chercheur), Englebert, V. (Responsable du Projet), Vanhoof, W. (Co-Promoteur) & Lobet-Maris, C. (Co-Promoteur)
1/09/19 → 31/08/22
Projet: Recherche
-
Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques
Yernaux, G. (Responsable du Projet) & Vanhoof, W. (Promoteur)
1/10/18 → 4/09/25
Projet: Projet de thèse
Résultat de recherche
-
Formalizing Escape Game Mechanics: A Graph-Theoretical Framework for Modeling and Analyzing Puzzle-Based Environments
Yernaux, G., VERJANS, M. & Vanhoof, W., 2 janv. 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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile2 Téléchargements (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 mai 2026.Résultats de recherche: Contribution à un événement scientifique (non publié) › Papier › Revue par des pairs
Accès ouvertFile13 Téléchargements (Pure) -
Federated Inductive Logic Programming for Explainable Artificial Intelligence
Akaichi, Y., Jacquet, J. M., Linden, I. & Vanhoof, W., 2025, 2nd Workshop on Explainable Artificial Intelligence for the Medical Domain, EXPLIMED 2025. Vol 4059. (CEUR Workshop Proceedings).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
-
Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation
Berg, L., Yernaux, G., Vandeloise, M. & Vanhoof, W., janv. 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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile47 Téléchargements (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., avr. 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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile19 Téléchargements (Pure)
Prix
-
IBM Belgium Prijs informatica
Vanhoof, W. (Bénéficiaire), 1996
Prix: Mise à l'honneur nationale/internationale
Activités
-
Université de La Réunion
Vanhoof, W. (Chercheur visiteur)
1 févr. 2026 → 7 févr. 2026Activité: Visite d'une organisation externe › Visite à une institution académique externe
-
Semantic clone detection in (constraint) logic programming: an overview of (some of) our recent work
Vanhoof, W. (Orateur)
5 févr. 2026Activité: Discours ou présentation › Présentation orale
-
Computer Science Logic 2022
Yernaux, G. (Participant) & VANHOOF, W. (Participant)
14 févr. 2022 → 19 févr. 2022Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic-based Program Synthesis and Transformation (LOPSTR) 2021
VANHOOF, W. (Vice-président)
7 sept. 2021Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
22nd International Symposium on Principles and Practice of Declarative Programming
YERNAUX, G. (Participant), SCHUMACHER, L. (Participant) & VANHOOF, W. (Participant)
8 sept. 2020 → 10 sept. 2020Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès