Laboratoire d’informatique formelle (LIF)

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.

Pour en savoir plus, consultez http://lif.uqac.ca.