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.

  • 6 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
Microarrays Ingénierie et Science des Matériaux
Logic Programs mathématiques
Clone mathématiques

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. Springer, p. 386 - 397 (Communications in Computer and Information Science)

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

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

Vanhoof, W. (Orateur)
14 déc. 2016

Activité: Présentation orale

Databases en het drie lagen model

Vanhoof, W. (Orateur)
13 déc. 2016

Activité: Présentation orale

Université de la Réunion

Vanhoof, W. (Chercheur visiteur)
20 nov. 201625 nov. 2016

Activité: Visite à une institution académique externe

Principles and Practice of Declarative Programming

Vanhoof, W. (Conférencier)
7 sept. 2016

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

Formal Aspects of Computing (journal)

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

Activité: Ré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 informatique

Fichier

A distributed collaborative model editing framework for domain specific modeling languages

Auteur: Koshima, A., 12 janv. 2016

Superviseur: Vanhoof, W. (Président), Englebert, V. (Promoteur), Thiran, P. (Copromoteur), Cleve, A. (Jury), Mens, T. (Jury) & Van Gorp, P. (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 informatique

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 informatique

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 informatique

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