Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Domaines de compétence

Programming languages, Program analysis, Program transformation, Program specialisation

Prix/Distinctions

IBM Belgium Prijs voor informatica 1997 pour le mémoire "Implementatie van een supercompilator voor een functionele taal"

Diplômes

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

Domaines de compétence

Programming languages, Program analysis, Program transformation, Program specialisation

Prix/Distinctions

IBM Belgium Prijs voor informatica 1997 pour le mémoire "Implementatie van een supercompilator voor een functionele taal"

Diplômes

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

Qualification académique

Docteur ès sciences, Katholieke Universiteit Leuven (KUL)

Empreinte digitale Examinez les sujets de recherche où Wim Vanhoof est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 6 Profils similaires
Testing Ingénierie et Science des Matériaux
Logic programming Ingénierie et Science des Matériaux
Evolutionary algorithms Ingénierie et Science des Matériaux
Emitter coupled logic circuits Ingénierie et Science des Matériaux
Semantics Ingénierie et Science des Matériaux
Message passing Ingénierie et Science des Matériaux
Microarrays Ingénierie et Science des Matériaux
Surface mount technology Ingénierie et Science des Matériaux

Réseau Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.

Projets 2009 2014

Résultat de recherche 1997 2019

Analysis of Students' Preconceptions of Concurrency

Titre traduit de la contribution: Analyse des préconceptions d'étudiants sur la concurrenceLibert, C. & Vanhoof, W., 2019, Proceedings of the 1st ACM SIGSOFT International Workshop on Education Through Advanced Software Engineering and Artificial Intelligence. New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Teaching
Students
3 Downloads (Pure)

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials

Un dispositif d'évaluation continue en introduction à la programmation

Libert, C. & Vanhoof, W., 2019, (Non publié).

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

File

La programmation par passage de messages pour aider à développer la pensée informatique

Libert, C. & Vanhoof, W., 2017, L'informatique et le numérique dans la classe: Qui, quoi, comment?. Namur, Belgique: Presses universitaires de Namur, p. 123 12 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

16 Downloads (Pure)

Survey of software visualization systems to teach message-passing concurrency in secondary school

Titre traduit de la contribution: Comparaison de systèmes de visualisation de programmes pour l'enseignement de la programmation concurrente par passage de messages à l'école secondaire.Libert, C. & Vanhoof, W., juin 2017, Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems - International Workshops of PAAMS 2017, Proceedings. Lopes, F., Bajo, J., Novais, P., Hallenborg, K., Del Val, E., Julian, V., Vale, Z., Pawlewski, P., Duque Mendez, N. D., Holmgren, J., Rocha, A. P. & Mathieu, P. (eds.). Springer, p. 386 - 397 12 p. (Communications in Computer and Information Science; Vol 722).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Software Visualization
Message passing
Message Passing
Concurrency
Visualization

Prix

IBM Belgium Prijs informatica

Wim Vanhoof (Bénéficiaire), 1996

Prix: Mise à l'honneur nationale/internationale

Activités 1997 2019

On an old (and possibly still unsolved?) problem in program specialization

Wim Vanhoof (Orateur)
8 oct. 2019

Activité: Types de discours ou de présentationDiscours invité

Generalization-driven semantic clone detection in CLP

Gonzague Yernaux (Orateur), Wim Vanhoof (Orateur)
9 oct. 2019

Activité: Types de discours ou de présentationPrésentation orale

29th International Symposium on Logic-Based Program Synthesis and Transformation

Gonzague Yernaux (Participant), Wim Vanhoof (Participant)
8 oct. 201910 oct. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

29th International Symposium on Logic-Based Program Synthesis and Transformation

Wim Vanhoof (Orateur)
7 oct. 20199 oct. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Informatiesystemen

Wim Vanhoof (Orateur)
14 déc. 2016

Activité: Types de discours ou de présentationPrésentation orale

Thèse

A declarative approach to Java Virtual Machine modelisation and Bytecode execution

Auteur: Laffineur, G., 23 juin 2017

Superviseur: Cleve, A. (Président) & Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

A distributed collaborative model editing framework for domain specific modeling languages

Auteur: Koshima, A., 12 janv. 2016

Superviseur: Englebert, V. (Promoteur), Thiran, P. (Copromoteur), Vanhoof, W. (Président), Cleve, A. (Jury), Mens, T. (Personne externe) (Jury) & Van Gorp, P. (Personne externe) (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier

Aide à la distribution et exploitation électrique : simulation et optimisation

Auteur: Braun, C., 29 août 2017

Superviseur: Vanhoof, W. (Président) & Jacquet, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

A multi-objective genetic algorithm for biclustering of gene expression data with probabilistic encoding and overlapping control

Auteur: Marcozzi, M., 29 sept. 2010

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Analyse d'exécutables x86 par transformation sous forme de clauses de Horn

Auteur: Devos, A., 26 juin 2017

Superviseur: Cleve, A. (Président) & Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Presse/Médias

24th international symposium on logic-based program synthesis and transformation (LOPSTR 2014)

Wim Vanhoof

19/03/14

1 élément de Couverture média

Presse/Médias: Commentaire d'expert