Wim Vanhoof

Wim Vanhoof

Contacter par email

À propos
Cours
Recherche

À propos

Facultés/Départements/Services

Faculté d'informatique - Doyen/Doyenne

Instituts de recherche

Namur Digital Institute - Membre

Centre de recherche

Research Group on the Foundations of Computer Sciences - Membre

Organes

Conseil de faculté - Doyen/Doyenne

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

Conseil académique - Membre

Bureau de faculté - Doyen/Doyenne

Assemblée générale - Doyen/Doyenne

Conseil d'entreprise - Membre

Décanat - Doyen/Doyenne

Domaines d'expertises

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]

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

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

Master 60 en sciences informatiques, bloc 1
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 2
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
Program analysis for cybersecurity [INFOM227]

Master 60 en sciences informatiques, bloc 1
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 2
Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 2
Master 120 en cybersécurité, à finalité spécialisée, bloc 2
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

2023-2024

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
Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 2
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
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 1
Master 60 en sciences informatiques, bloc 1
Conception d'applications réactives [INFOM451]

Master 60 en sciences informatiques, bloc 1
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 2
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

2022-2023

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 software engineering, bloc 2
Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 2
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
Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 1
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
Master 60 en sciences informatiques, bloc 1
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

2021-2022

Algorithmique 1 [IHDCB232]

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

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

Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 2
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 2
Master 60 en sciences informatiques, bloc 1
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

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

Voir le profil complet