La recherche

Le 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:

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.

Navigation