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 L’empreinte digitale est basée sur l’exploration du texte des documents scientifiques d’individus afin de créer un index de termes pondérés, qui définit les thèmes clés de chaque chercheur individuel.

  • 5 Profils similaires
Testing 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
Logic programming 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 2017

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)

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

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

Towards a framework for algorithm recognition in binary code

Mesnard, F., Payet, E. & Vanhoof, W., 2016, p. 202. 2013 p.

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

Un outil d'aide à la conception des formes normales en logique propositionnelle

Désiron, K., Remiche, M-A. & Vanhoof, W., 2016, Actes de la conférence Didapro 6 - DidaSTIC Didactique de l'informatique et des STIC: Quelles éducations au numérique, en classe et pour la vie ? . 2 p.

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

!!File
Testing
Surface mount technology

Prix

IBM Belgium Prijs informatica

Wim Vanhoof (Bénéficiaire), 1996

Prix: Mise à l'honneur nationale/internationale

Activités 1997 2016

Informatiesystemen

Wim Vanhoof (Orateur)
14 déc. 2016

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

Databases en het drie lagen model

Wim Vanhoof (Orateur)
13 déc. 2016

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

Université de la Réunion

Wim Vanhoof (Chercheur visiteur)
20 nov. 201625 nov. 2016

Activité: Types de Visite d'une organisation externeVisite à une institution académique externe

Principles and Practice of Declarative Programming

Wim Vanhoof (Conférencier)
7 sept. 2016

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

Formal Aspects of Computing (journal)

Wim Vanhoof (Membre d'un comité de revue par les pairs)
1 avr. 20161 juin 2016

Activité: Types de Publication de l'évaluation d'un pair et d'un travail éditorialRévision de publication en tant que pair

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