lien externe

Groupe de recherche Langage, sémantique et méthodes formelles (LSMF)

Envoyez-nous un courriel

Le groupe Langages, sémantique et méthodes formelles (LSMF) 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 Web, sémantique formelle, théorie des graphes, complexité, compression de données.

Le groupe LSFM existe depuis janvier 1995 et entretient des relations scientifiques avec des partenaires académiques et industriels.
 
Responsables : Josée Desharnais, Jules Desharnais, Danny Dubé, Béchir Ktari, François Laviolette, Mohamed Mejri, Claude-Guy Quimper, Nadia Tawbi, Pascal Tesson.
 
Pavillon Adrien-Pouliot, Département d’informatique
Université Laval, Québec, Canada 
Téléphone : (418) 656-7979
 

Site Web : lsfm.ift.ulaval.ca/