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'expertises
Langages de programmation, Analyse de programme, Transformation de programme, Spécialisation de programme
Diplômes
Docteur en sciences : informatique, K.U.Leuven 2001.
Lic. Informatique K.U.Leuven, 1996.
Prix
IBM Belgium Prijs voor informatica 1997 pour le mémoire "Implementatie van een supercompilator voor een functionele taal"
2025-2026
-
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]
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]