-
NSI IT Software & Services
- Project Manager
1999 - maintenant
-
Ciger S.A.
- Ingénieur de recherche
1997 - 1999
Projet PBFlow (spécification et développement d'un système générique de workflow inter-organisations basé sur les technologies Internet, et application de ce système à la gestion électronique des dossiers de permis de bâtir à la ville de Namur)
-
Université de Liège
- Ingénieur de recherche
1996 - 1997
Projet européen EMMI - Euregional Multi-Media Information exchange (spécification et installation entre la Belgique, l’Allemagne et les Pays-Bas d’un réseau informatique type Internet destiné aux forces de gendarmerie)
Projet européen EXSYS (développement d’un système expert destiné à améliorer l’utilisation rationnelle de l’énergie dans les procédés industriels)
-
Université de Liège
- Ingénieur de recherche FNRS
1994 - 1995
Conception et développement du logiciel CAVEAT (logiciel d'aide à la vérification de propriétés de programmes parallèles)
Etude théorique, en logique modale, de techniques de validation de formules en vue de la conception de procédures de décision efficaces
Charge académique : quelques heures du cours Questions de Logigue.