Membre du personnel

Wim VANHOOF

Téléphone: 081/724977
Fax: 081/724967
Mail:

Charges aux FUNDP

Pôle sémantique, logique et calcul (Chargé de cours)
Groupe de recherche en informatique fondamentale (Président)
Groupe de section horaire décalé (Secrétaire académique)
Bureau exécutif de la faculté d'informatique (Membre)
Conseil de la faculté d'informatique (Membre de droit)
Commission de l'enseignement de la faculté d'informatique (Représentant académique)
Faculté d'informatique (Chargé de cours)
Licence horaire decale (Secrétaire académique)
Unité langages et programmation (Directeur)

Diplômes

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

Lic. Informatica K.U.Leuven, 1996.

Domaines de compétences

Programming languages, Program analysis, Program transformation, Program specialisation

Distinctions

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

Cours (titulaire)

Introduction à l'algorithmique (IHDC-B131)
Méthodes de programmation (IHDC-B232)
Technique d'intelligence artificielle : application de la programmation fonctionnelle et logique (INFO-B316)
Projet individuel (INFO-B318)
Calculabilité et complexité (INFO-M113)
Questions spéciales d'informatique fondamentale (INFO-M445)
Programmation (SINF-B102)

Doctorats en cours

Génération de données de test basée sur les contraintes pour des applications orientées base de données. (2014)
Michaël MARCOZZI
Génération de données de test basée à base de contraintes pour des applications orientées base de données (2012)
Analyse de la duplication de code dans les programmes logiques (2013)
Céline DANDOIS

Activités organisées

Colloque : Workshop on Logic-based Programming Environments (WLPE 2007) (Porto, Portugal, 2007)
Colloque : Belgium Dutch Conference on Artificial Intelligence (BNAIC) (Namur, 2006)
Colloque : Workshop on Logic-based Methods in Programming Environments (WLPE 2006) (Seattle, Washington (USA), 2006)

Activités avec contribution

Autre : PC Member LOPSTR 2008 (, 2008)
Colloque : Logic-based program synthesis and transformation (LOPSTR 2007) (Copenhagen, Denmark, 2007)
Colloque : VVSS - European Symposium on Verification and Validation of Software Systems (Eindhoven, The Netherlands, 2007)
Autre : PC Member LOPSTR 2007 (, 2007)
Autre : PC Member WLPE 2007 (, 2007)
Autre : PC Member WLPE 2006 (, 2006)
Autre : PC Member BNAIC 2006 (, 2006)
Autre : PC Member LOPSTR 2006 (, 2006)
Séminaire : Searching semantically equivalent code fragments in logic programs (Leuven, 2005): Departement Computerwetenschappen K.U.Leuven
Séminaire : L'analyse de terminaison des programmes logiques (Namur, 2005): Staff sem à l'Institut d'Informatique
Autre : PC Member WLPE 2005 (, 2005)
Colloque : Logic-based Program Synthesis and Transformation (LOPSTR) (Verona, Italy, 2004)
Colloque : Logic-based Program Synthesis and Transformation (LOPSTR). (Verona, Italy, 2004)
Colloque : One Day Workshop on Program Analysis (Leuven, 2004)
Autre : PC Member LOPSTR 2004 (, 2004)
Colloque : Termination Day: logic programming meets rewriting (Leuven, 2003)
Autre : PC Member LOPSTR 2003 (, 2003)
Colloque : Logic-based Program Synthesis and Transformation (Madrid, Spain, 2002)
Colloque : Static Analysis Symposium (Madrid, Spain, 2002)
Colloque : Logic for Programming, Artificial Intelligence, and Reasoning, 8th international Conference (La Havana, Cuba, 2001)
Colloque : International Workshop on Termination (WST'01à (Utrecht, The Netherlands, 2001)
Colloque : Logic for Programming and Automated Reasoning (LPAR) (St-Gilles, La Réunion, France, 2000)
Colloque : International Workshop on Implementation and Optimization of Declarative Languages (Las Cruces, New Mexico (USA), 1999)
Colloque : 16'th Inernational Conference on Logic Programming (ICLP) (Las Cruces, New Mexico (USA), 1999)
Colloque : Eleventh Benelux Workshop on Logic Programming (Benelog) (Maastricht, The Netherlands, 1999)
Colloque : Logic-based Program Synthesis and Transformation (Venice, Italy, 1999)
Colloque : Tenth Belgian/Dutch AI Conference (NAIC) (Amsterdam, The Netherlands, 1998)
Colloque : Conference on Programming Languages, Implementations, Logics and Programs (Pisa, Italy, 1998)
Colloque : Logic Based Program Synthesis and Transformation (Manchester, United Kingdom, 1998)
Colloque : Joint International Conference and Symposium on Logic Programming (Manchester, United Kingdom, 1998)
Colloque : Workshop on Specialization of Declarative Languages and its Applications (Port Jefferson, New York (USA), 1997)
Colloque : Logic Program Synthesis and Transformation (LOPSTR) (Leuven, 1997)

Activités avec simple participation

Colloque : International Conference on Logic Programming (ICLP 2007) (Porto, Portugal, 2007)
Colloque : International Conference on Logic Programming (ICLP 2006) (Seattle, Washington (USA), 2006)
Séminaire : Dynamic Languages Day (Brussels, 2006)
Colloque : VVSS - European Symposium on Verification and Validation of Software Systems and Testing (Eindhoven, The Netherlands, 2005)
Formation : PC Member LOPSTR 2005 (, 2005)
Colloque : Principles and Practice of Declarative Programming (Uppsala, Sweden, 2003)
Colloque : International Symposium on Logic-based Program Synthesis and Transformation (Uppsala, Sweden, 2003)
Colloque : International Symposium on New Trends in Compiler Technology (Gent, 2002)
Colloque : FNRS Meeting on Verification and Validation (Brussels, 2001)
Colloque : Benelux Workshop on Computational Logic (BenCL) (Peer, 2000)
Colloque : Static Analysis Symposium (Venice, Italy, 1999)
Colloque : Static Analysis Symposium (Pisa, Italy, 1998)
Colloque : International Logic Programming Symposium (Port Jefferson, New York (USA), 1997)
Colloque : 14"th International Conference on Logic Programming (Leuven, 1997)