Le Laboratoire d’informatique formelle (LIF) de l’UQAC, fondé en 2012, a récemment obtenu une subvention du Conseil de recherches en sciences naturelles et en génie du Canada (CRSNG) – Recherche et développement coopératif (RDC). Le soutien de 314 800 $ permettra à l’équipe de mener à bien un projet de recherche intitulé « Méthodes inductives et déductives pour la gestion des configurations réseau », qui sera effectué en collaboration avec deux chercheurs de l’UQAM, Omar Cherkaoui et Petko Valtchev, ainsi qu’avec la compagnie Ericsson.

Du côté de l’UQAC, le projet sera réalisé sous la supervision de Sylvain Hallé, professeur au Département d’informatique et de mathématique et directeur du LIF. Se déroulant sur une période de deux ans, le projet visera l’application de méthodes basées sur les mathématiques pour vérifier automatiquement la configuration d’équipement réseau. Il fera intervenir près d’une demi-douzaine d’étudiants à la maîtrise et au doctorat, lesquels seront exposés à des problématiques industrielles concrètes et auront l’occasion de développer des solutions technologiques de pointe.

Sources :

Sylvain Hallé, professeur adjoint
Département d’informatique et de mathématique
Université du Québec à Chicoutimi
418 545-5011, poste 5280  ▪  sylvain_halle@uqac.ca

Bureau des affaires publiques
Université du Québec à Chicoutimi
418 545-5011, poste 2350  ▪  affaires_publiques@uqac.ca

________________________________________________________________________________________

Photo : Sylvain Hallé
Photographe : Denis Blackburn, UQAC
________________________________________________________________________________________