groupe de recherche en langages, sémantiques et méthodes formelles

Université Laval

à propos

Le groupe de recherche en langages, sémantiques et méthodes formelles (lsfm) est composé de professeurs et d'étudiants gradués du département d'informatique de l'Université Laval.

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

Le groupe entretient des relations scientifiques avec des partenaires académiques et industriels. Il est financé par le CRSNG, le FQRNT et le RDDC Valcartier.

done
Vérification

Spécification, vérification et application de propriétés

bug_report
Détection de malware

Analyse statique et dynamique de code pour découvrir des comportement malicieux

font_download
Langages

Conception de langages multiparadigmes, d'algèbres de processus et d'outils pour développeurs

lock
Cryptographie

Conception et analyse de protocoles cryptographiques

device_hub
Théorie des graphes

Étudier et utiliser les propriétés des graphes pour modéliser des problèmes réels