.png)
Recherche
Domaines de recherche
Algèbre
Fondements, logique et théorie des ensembles en mathématique
Langages de programmation et génie logiciel, n.c.a.
Propriétés des fonctions logicielles
Algebra
Foundations, logic, and set theory of mathematics
Programming language and software engineering, n.e.c.
Software function properties
Ce champ ne comporte pas de données en ce moment.
Unités de recherche
Ce champ ne comporte pas de données en ce moment.
Publications
de
Ce champ ne comporte pas de données en ce moment.
Champs d’intérêts
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book. It has survived not only five centuries, but also the leap into electronic typesetting, remaining essentially unchanged. It was popularised in the 1960s with the release of Letraset sheets containing Lorem Ipsum passages, and more recently with desktop publishing software like Aldus PageMaker including versions of Lorem Ipsum.
Projets de recherche subventionnés
En cours
L2M Validate / Qc Winter 2026 / CyberSoc_AI
Programme: Accélération Québec (MITACS et gouvernement provincial)
Organisme(s) subventionnaire(s): MITACS Inc.
- Program: Accélération Québec (MITACS et gouvernement provincial)
Granting organization(s): MITACS Inc.
Du 9 février 2026 au 8 juin 2026
From February 9, 2026 to June 8, 2026