Image
Wim Vanhoof
À propos
Facultés/Départements/Services
Faculté d'informatique
- Doyen/Doyenne
Instituts de recherche
Namur Digital Institute
- Membre
Centre de recherche
Organes
Domaines d'expertise
Programming languages, Program analysis, Program transformation, Program specialisation
Diplômes
Doctor in de Wetenschappen : informatica, K.U.Leuven 2001.
Lic. Informatica K.U.Leuven, 1996.
Prix
IBM Belgium Prijs voor informatica 1997 pour le mémoire "Implementatie van een supercompilator voor een functionele taal"
2024-2025
-
Algorithmique 1 [IHDCB232]
-
Calculabilité et complexité [INFOM113]
-
Conception d'applications réactives [INFOM451]
-
Introduction to Programming [ISBMM101]
-
Program analysis for cybersecurity [INFOM227]
-
Programmation 1 [IHDCB131]
-
Programmation 2 [IHDCB132]
-
Programmation fonctionnelle et logique [INFOB316]
2023-2024
-
Algorithmique 1 [IHDCB232]
-
Analyse de programmes pour la cybersécurité [INFOM227]
-
Calculabilité et complexité [INFOM113]
-
Conception d'applications réactives [INFOM451]
-
Introduction to Programming [ISBMM101]
-
Programmation 1 [IHDCB131]
-
Programmation 2 [IHDCB132]
-
Programmation fonctionnelle et logique [INFOB316]
2022-2023
-
Algorithmique 1 [IHDCB232]
-
Analyse de programmes pour la cybersécurité [INFOM227]
-
Calculabilité et complexité [INFOM113]
-
Conception d'applications réactives [INFOM451]
-
Introduction to Programming [ISBMM101]
-
Programmation 1 [IHDCB131]
-
Programmation 2 [IHDCB132]
-
Programmation fonctionnelle et logique [INFOB316]