Wim Vanhoof

Wim Vanhoof

Contact by email

About
Courses
Research

About

Faculties/Departments/Services

Faculté d'informatique - Doyen/Doyenne

Research institutes

Namur Digital Institute - Membre

Research center

Research Group on the Foundations of Computer Sciences - Membre

Organs

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

Domains of expertise

Programming languages, Program analysis, Program transformation, Program specialisation

Degrees

Doctor in de Wetenschappen : informatica, K.U.Leuven 2001.
Lic. Informatica K.U.Leuven, 1996.

Prizes

IBM Belgium Prize for informatics 1997 for the dissertation "Implementatie van een supercompilator voor een functionele taal"

2025-2026

Calculabilité et complexité [INFOM113]

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

Master 120 en sciences informatiques, à finalité spécialisée en data science, block 2
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 2
Master 60 en sciences informatiques, block 1
Programmation fonctionnelle et logique [INFOB316]

Unités d'enseignement supplémentaires au master 60 en sciences informatiques (800P), block 1
Bachelier en sciences informatiques, block 3
Unités d'enseignement supplémentaires au master 120 en sciences informatiques (801P), block 1
Introduction to Programming [ISBMM101]

Master 120 en sciences biomédicales, à finalité spécialisée en biomedical data management, block 1
Algorithmique 1 [IHDCB232]

Bachelier en sciences informatiques (horaire décalé), block 2
Program analysis for cybersecurity [INFOM227]

Master 60 en sciences informatiques, block 1
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 2
Master 120 en cybersécurité, à finalité spécialisée, block 2
Master 120 en sciences informatiques, à finalité spécialisée en data science, block 2
Programmation 1 [IHDCB131]

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

Bachelier en sciences informatiques (horaire décalé), block 1

2024-2025

Calculabilité et complexité [INFOM113]

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

Master 120 en sciences informatiques, à finalité spécialisée en data science, block 2
Master 60 en sciences informatiques, block 1
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 2
Programmation fonctionnelle et logique [INFOB316]

Bachelier en sciences informatiques, block 3
Unités d'enseignement supplémentaires au master 60 en sciences informatiques (800P), block 1
Unités d'enseignement supplémentaires au master 120 en sciences informatiques (801P), block 1
Introduction to Programming [ISBMM101]

Master 120 en sciences biomédicales, à finalité spécialisée en biomedical data management, block 1
Algorithmique 1 [IHDCB232]

Bachelier en sciences informatiques (horaire décalé), block 2
Program analysis for cybersecurity [INFOM227]

Master 120 en cybersécurité, à finalité spécialisée, block 2
Master 60 en sciences informatiques, block 1
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 2
Master 120 en sciences informatiques, à finalité spécialisée en data science, block 2
Programmation 1 [IHDCB131]

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

Bachelier en sciences informatiques (horaire décalé), block 1

2023-2024

Calculabilité et complexité [INFOM113]

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

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 2
Master 120 en sciences informatiques, à finalité spécialisée en data science, block 2
Master 60 en sciences informatiques, block 1
Programmation fonctionnelle et logique [INFOB316]

Unités d'enseignement supplémentaires au master 120 en sciences informatiques (801P), block 1
Unités d'enseignement supplémentaires au master 60 en sciences informatiques (800P), block 1
Bachelier en sciences informatiques, block 3
Introduction to Programming [ISBMM101]

Master 120 en sciences biomédicales, à finalité spécialisée en biomedical data management, block 1
Algorithmique 1 [IHDCB232]

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

Master 120 en sciences informatiques, à finalité spécialisée en data science, block 2
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 2
Master 60 en sciences informatiques, block 1
Programmation 1 [IHDCB131]

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

Bachelier en sciences informatiques (horaire décalé), block 1

2022-2023

Calculabilité et complexité [INFOM113]

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

Master 60 en sciences informatiques, block 1
Master 120 en sciences informatiques, à finalité spécialisée en data science, block 2
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 2
Programmation fonctionnelle et logique [INFOB316]

Unités d'enseignement supplémentaires au master 60 en sciences informatiques (800P), block 1
Bachelier en sciences informatiques, block 3
Unités d'enseignement supplémentaires au master 120 en sciences informatiques (801P), block 1
Introduction to Programming [ISBMM101]

Master 120 en sciences biomédicales, à finalité spécialisée en biomedical data management, block 1
Algorithmique 1 [IHDCB232]

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

Master 60 en sciences informatiques, block 1
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 2
Master 120 en sciences informatiques, à finalité spécialisée en data science, block 2
Programmation 1 [IHDCB131]

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

Bachelier en sciences informatiques (horaire décalé), block 1

This person also has a profile on the UNamur research portal.

View complete profile