Bienvenue au Laboratoire d'informatique formelle

Le Laboratoire d'informatique formelle est une unité de recherche accréditée par l'Université du Québec à Chicoutimi sise en son Département d'informatique et de mathématiques. Le LIF soutient la recherche sur le développement et l'application de méthodes formelles pour les systèmes informatiques. En effet, à l'instar des autres domaines scientifiques comme la physique et la biologie, qui ont entraîné le développement de nouvelles mathématiques appropriées à leur objet d'étude, l'informatique requiert elle aussi des théories et des méthodes formelles pour comprendre le fonctionnement des ordinateurs et résoudre les problèmes que leur utilisation suscite.

Le laboratoire est formé d'une équipe de professeurs et d'étudiants, développant des projets de recherche à la fine pointe de la technologie avec le soutien et la collaboration d'entreprises privées et d'organismes subventionnaires publics.

Dernières nouvelles

  1. Nouvel article scientifique accepté pour publication

    Un article scientifique écrit par Michaël Larouche, étudiant au baccalauréat en informatique à l'UQAC, en compagnie des professeurs du LIF Alexandre Blondin Massé, Sébastien Gaboury et Sylvain Hallé, vient d'être accepté pour publication. L'article, intitulé Solving Equations on Words through Boolean Satisfiability, sera présenté en mars 2013 ...

Page 1 de 1