Laboratoire d’informatique formelle

Ce laboratoire propose des activités en recherche sur le développement et l’application de méthodes formelles pour les systèmes informatiques. Les programmes de recherche de ce laboratoire couvrent quatre axes bien définis :

  • la spécification, la surveillance et la synthèse automatique de contrats d’interface dans les systèmes modulaires.
  • la vérification automatique de configurations d’équipements réseau, basée sur des politiques formelles d’administration.
  • la combinatoire des mots et ses applications en théorie des automates et en géométrie discrète.
  • l’étude de l’espace des cycles dans les graphes orientés.

Le LIF s’intéresse tout autant à l’étude mathématique de problèmes informatiques fondamentaux qu’à l’application de résultats théoriques dans des systèmes concrets. Les axes de recherche promus par le laboratoire sont complémentaires, et peuvent s’appuyer sur les compétences bi-disciplinaires de ses membres fondateurs. En ce sens, la double nature de son département d’attache (informatique et mathématique) en fait un environnement tout indiqué pour qu’y prospère une recherche scientifique originale de fort calibre.

Responsable : Sylvain Hallé
Téléphone : 418 545-5011, poste 5280
Courrier électronique