Wim Vanhoof

Wim Vanhoof

wim.vanhoof@unamur.be

À propos
Cours
Recherche

À propos

Facultés/Départements/Services

Faculté d'informatique - Membre

Faculté des sciences économiques, sociales et de gestion - Membre

Département des sciences de gestion - Membre

Instituts de recherche

Namur Digital Institute - Membre

Centre de recherche

Research Group on the Foundations of Computer Sciences - Membre

Organes

Conseil de faculté - Membre

Commission des renouvellements des mandats de la Faculté d'informatique - Vice-Doyen/Vice-Doyenne

Conseil académique - Président(e)

Bureau de faculté - Membre

Assemblée générale - Recteur/Rectrice

Conseil d'entreprise - Président(e)

Décanat - Vice-Doyen/Vice-Doyenne

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"

2023-2024

Algorithmique 1 [IHDCB232]

Bachelier en sciences informatiques (horaire décalé), bloc 2
Analyse de programmes pour la cybersécurité [INFOM227]

Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 2
Analyse de programmes pour la cybersécurité [INFOM227]

Master 60 en sciences informatiques, bloc 1
Analyse de programmes pour la cybersécurité [INFOM227]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 2
Calculabilité et complexité [INFOM113]

Master 60 en sciences informatiques, bloc 1
Calculabilité et complexité [INFOM113]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 1
Calculabilité et complexité [INFOM113]

Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 1
Conception d'applications réactives [INFOM451]

Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 2
Conception d'applications réactives [INFOM451]

Master 60 en sciences informatiques, bloc 1
Conception d'applications réactives [INFOM451]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 2
Introduction to Programming [ISBMM101]

Master 120 en sciences biomédicales, à finalité spécialisée en biomedical data management, bloc 1
Programmation 1 [IHDCB131]

Bachelier en sciences informatiques (horaire décalé), bloc 1
Programmation 2 [IHDCB132]

Bachelier en sciences informatiques (horaire décalé), bloc 1
Programmation fonctionnelle et logique [INFOB316]

Unités d'enseignement supplémentaires au master 120 en sciences informatiques, bloc 1
Programmation fonctionnelle et logique [INFOB316]

Bachelier en sciences informatiques, bloc 3
Programmation fonctionnelle et logique [INFOB316]

Unités d'enseignement supplémentaires au master 60 en sciences informatiques, bloc 1

2024-2025

Algorithmique 1 [IHDCB232]

Bachelier en sciences informatiques (horaire décalé), bloc 2
Analyse de programmes pour la cybersécurité [INFOM227]

Master 60 en sciences informatiques, bloc 1
Analyse de programmes pour la cybersécurité [INFOM227]

Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 2
Analyse de programmes pour la cybersécurité [INFOM227]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 2
Calculabilité et complexité [INFOM113]

Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 1
Calculabilité et complexité [INFOM113]

Master 60 en sciences informatiques, bloc 1
Calculabilité et complexité [INFOM113]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 1
Conception d'applications réactives [INFOM451]

Master 60 en sciences informatiques, bloc 1
Conception d'applications réactives [INFOM451]

Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 2
Conception d'applications réactives [INFOM451]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 2
Introduction to Programming [ISBMM101]

Master 120 en sciences biomédicales, à finalité spécialisée en biomedical data management, bloc 1
Programmation 1 [IHDCB131]

Bachelier en sciences informatiques (horaire décalé), bloc 1
Programmation 2 [IHDCB132]

Bachelier en sciences informatiques (horaire décalé), bloc 1
Programmation fonctionnelle et logique [INFOB316]

Unités d'enseignement supplémentaires au master 120 en sciences informatiques, bloc 1
Programmation fonctionnelle et logique [INFOB316]

Unités d'enseignement supplémentaires au master 60 en sciences informatiques, bloc 1
Programmation fonctionnelle et logique [INFOB316]

Bachelier en sciences informatiques, bloc 3

2021-2022

Algorithmique 1 [IHDCB232]

Bachelier en sciences informatiques (horaire décalé), bloc 2
Calculabilité et complexité [INFOM113]

Master 60 en sciences informatiques, bloc 1
Calculabilité et complexité [INFOM113]

Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 1
Calculabilité et complexité [INFOM113]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 1
Conception d'applications mobiles [INFOM451]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 2
Conception d'applications mobiles [INFOM451]

Master 60 en sciences informatiques, bloc 1
Conception d'applications mobiles [INFOM451]

Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 2
Introduction to Programming [ISBMM101]

Master 120 en sciences biomédicales, à finalité spécialisée en biomedical data management, bloc 1
Programmation 1 [IHDCB131]

Bachelier en sciences informatiques (horaire décalé), bloc 1
Programmation 2 [IHDCB132]

Bachelier en sciences informatiques (horaire décalé), bloc 1
Programmation fonctionnelle et logique [INFOB316]

Bachelier en sciences informatiques, bloc 3
Programmation fonctionnelle et logique [INFOB316]

Unités d'enseignement supplémentaires au master 60 en sciences informatiques, bloc 1
Programmation fonctionnelle et logique [INFOB316]

Unités d'enseignement supplémentaires au master 120 en sciences informatiques, bloc 1

2022-2023

Algorithmique 1 [IHDCB232]

Bachelier en sciences informatiques (horaire décalé), bloc 2
Analyse de programmes pour la cybersécurité [INFOM227]

Master 60 en sciences informatiques, bloc 1
Analyse de programmes pour la cybersécurité [INFOM227]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 2
Analyse de programmes pour la cybersécurité [INFOM227]

Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 2
Calculabilité et complexité [INFOM113]

Master 60 en sciences informatiques, bloc 1
Calculabilité et complexité [INFOM113]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 1
Calculabilité et complexité [INFOM113]

Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 1
Conception d'applications réactives [INFOM451]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 2
Conception d'applications réactives [INFOM451]

Master 60 en sciences informatiques, bloc 1
Conception d'applications réactives [INFOM451]

Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 2
Introduction to Programming [ISBMM101]

Master 120 en sciences biomédicales, à finalité spécialisée en biomedical data management, bloc 1
Programmation 1 [IHDCB131]

Bachelier en sciences informatiques (horaire décalé), bloc 1
Programmation 2 [IHDCB132]

Bachelier en sciences informatiques (horaire décalé), bloc 1
Programmation fonctionnelle et logique [INFOB316]

Unités d'enseignement supplémentaires au master 60 en sciences informatiques, bloc 1
Programmation fonctionnelle et logique [INFOB316]

Unités d'enseignement supplémentaires au master 120 en sciences informatiques, bloc 1
Programmation fonctionnelle et logique [INFOB316]

Bachelier en sciences informatiques, bloc 3

Cette personne a également un profil sur le portail de la recherche de l’UNamur.

Voir le profil complet