2013-07-08 | UQAC

Le Laboratoire d'informatique formelle obtient un soutien de plus de 300 000 $

Sylvain Hallé
Photo : Denis Blackburn

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.

Toutes les actualités de l'UQAC >>>

Sources :
Bureau des affaires publiques
Université du Québec à Chicoutimi
Tél. : 418 545-5011, poste 2350