La recherche développée dans notre unité est relative à des sujets d'informatique théorique, principalement. Toutefois, ce sont les applications de ces recherches dans la pratique qui nous intéressent le plus. Nous essayons donc d'orienter notre effort vers les méthodologies d'utilisation et la réalisation d'outils de support à ces méthodologies. Les chercheurs et enseignants de notre unité sont membres de divers réseaux scientifiques internationaux.L'ensemble de ces réseaux inclut des groupes de pratiquement tous les pays d'europe, et nous collaborons également avec des chercheurs en dehors de l'europe.

De manière plus détaillée, les membres de notre unité effectuent des recherches, développent des outils et/ou élaborent un enseignement original dans les domaines suivants :

• Intégration de différents paradigmes de programmation
• Interprétation abstraite
• Logiques non classiques
• Méthodologies de programmation
• Programmation concurrente
• Programmation logique et programmation logique avec contraintes
• Sémantiques des langages formels
• Spécifications algébriques
• Utilisation de langages typés pour l'expression de preuves
• Vérification de programmes et de systèmes.

Contact

Rue Grandgagnage, 21, 5000 Namur
Tel: 081/724966
Fax: 081/724967
Mail: