Le groupe LSFM, Langages, Sémantique et Méthodes formelles, est une structure de recherche qui regroupe plusieurs professeurs et plusieurs étudiants gradués du Département d'Informatique et de génie logiciel de l'Université Laval. Les travaux menés au sein du groupe gravitent autour des thèmes suivants :

  • Langages multiparadigmes.
  • Méthodes formelles : spécification et vérification.
  • Analyse statique de programmes.
  • Sécurité et protocoles cryptographiques.
  • Technologie WWW.
  • Sémantique formelle.
  • Théorie des graphes
  • Complexité
  • Compression de données

 

Le groupe LSFM existe depuis janvier 1995 et est dirigé par les professeurs Josée Desharnais, Jules Desharnais, Danny Dubé, Béchir Ktari, François Laviolette, Mohamed Mejri, Claude-Guy Quimper, Nadia Tawbi, Pascal Tesson.

 

 

Le groupe entretient des relations scientifiques avec des partenaires académiques et industriels.

 

Le groupe LSFM est financé par le CRSNG, le FQRNT, et le RDDC Valcartier.

 
  Recherche :
  English