Projets par an
Profil personnel
Domaines de compétence
Programming languages, Program analysis, Program transformation, Program specialisation
Prix/Distinctions
IBM Belgium Prijs voor informatica 1997 pour le mémoire "Implementatie van een supercompilator voor een functionele taal"
Diplômes
Doctor in de Wetenschappen : informatica, K.U.Leuven 2001.
Lic. Informatica K.U.Leuven, 1996.
Lic. Informatica K.U.Leuven, 1996.
Domaines de compétence
Programming languages, Program analysis, Program transformation, Program specialisation
Prix/Distinctions
IBM Belgium Prijs voor informatica 1997 pour le mémoire "Implementatie van een supercompilator voor een functionele taal"
Diplômes
Doctor in de Wetenschappen : informatica, K.U.Leuven 2001.
Lic. Informatica K.U.Leuven, 1996.
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
Passez en revue plus en détail les thèmes de recherche où Wim Vanhoof est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
-
Sandbox4CS: Sandbox4CS : une infrastructure de recherche pour les sciences informatiques
Vanhoof, W. (Responsable du Projet)
1/01/24 → 31/12/25
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
-
Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques
Yernaux, G. (Responsable du Projet) & Vanhoof, W. (Promoteur)
Projet: Projet de thèse
-
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
-
Génération de données de test basée sur les contraintes pour des programmes orientés base de données.
Vanhoof, W. (Responsable du Projet)
1/10/10 → 30/09/14
Projet: Recherche
Résultat de recherche
-
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 ouvertFile23 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 ouvertFile1 Téléchargements (Pure) -
Rethinking Paradigmatic Collaboration: A New Metric for Inter-paradigm Synergy in Software Engineering
Vandeloise, M., Yernaux, G. & Vanhoof, W., mars 2025, Proceedings of the 23nd Belgium-Netherlands Software Evolution Workshop. Perrouin, G., Vanderose, B. & Devroey, X. (eds.). CEUR Workshop Proceedings, Vol 3941. p. 15-22Ré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 ouvertFile7 Téléchargements (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).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 ouvertFile43 Téléchargements (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).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 ouvertFile58 Téléchargements (Pure)
Prix
-
IBM Belgium Prijs informatica
Vanhoof, W. (Bénéficiaire), 1996
Prix: Mise à l'honneur nationale/internationale
Activités
-
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
-
FOCUS Research Seminar
Vanhoof, W. (Organisateur), Jacquet, J.-M. (Organisateur), Barkallah, M. (Membre du Comité d'Organisation), Yernaux, G. (Membre du Comité d'Organisation), Schobbens, P.-Y. (Membre du Comité d'Organisation), Ortiz Vega, J. J. (Membre du Comité d'Organisation), Amrani, M. (Membre du Comité d'Organisation), Linden, I. (Membre du Comité d'Organisation) & Colot, C. (Membre du Comité d'Organisation)
6 déc. 2019Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
29th International Symposium on Logic-Based Program Synthesis and Transformation
Vanhoof, W. (Orateur)
7 oct. 2019 → 9 oct. 2019Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès