FR / EN
Le GRIF regroupe les chercheuses et chercheurs de l'Université de Sherbrooke travaillant dans les domaines liés aux aspects théoriques de l'informatique. Les membres du GRIF possèdent notamment une expertise en algorithmique, en bio-informatique, en méthodes formelles, en informatique quantique et en théorie des automates.

Membres

Professeur·e·s

  • Michael Blondin : vérification formelle algorithmique, théorie des automates, complexité du calcul, logique
  • Marc Frappier : méthodes formelles de spécification, sécurité, gestion du consentement
  • Manuel Lafond : bio-informatique, algorithmique, théorie des graphes, complexité paramétrée
  • Aïda Ouangraoua : biologie computationnelle et bio-informatique, algorithmique, phylogénétique, structure des ARN
  • Nadia Tahiri : bio-informatique, phylogénétique, classification, clustering, algorithmique
  • Dave Touchette : informatique quantique, théorie de l'information, complexité de la communication
  • Cunlu Zhou : informatique quantique, optimisation, théorie de la complexité, physique quantique

Postdoctorant·e·s

  • Bertrand Marchand: informatique (avec Manuel Lafond)

Doctorant·e·s (Ph.D.)

  • Antoine Carrier: informatique (avec Dave Touchette)
  • Chaymae El Jabri: informatique (avec Marc Frappier)
  • Safa Jammali: informatique (avec Aïda Ouangraoua)
  • Reza Kalhor: informatique (avec Manuel Lafond)
  • Aleksandr V. Koshkarov: informatique (avec Nadia Tahiri)
  • Alitzel Lopez Sanchez: informatique (avec Manuel Lafond)
  • Weidong Luo: informatique (avec Manuel Lafond)
  • Lionel Nganyewou Tidjon: informatique (avec Marc Frappier)
  • Gurleen Padda: informatique (avec Dave Touchette)
  • Anaïs Vannutelli: biochimie (avec Aïda Ouangraoua)
  • Michel-Ange Zamor: informatique (avec Marc Frappier)

Étudiant·e·s à la maîtrise (M.Sc.)

  • Fadi Abu Salem: informatique (avec Nadia Tahiri)
  • Sarah Belhamiti: biochimie (avec Aïda Ouangraoua)
  • Marc-André Bossanyi: informatique (avec Aïda Ouangraoua)
  • Noé Canva: informatique (avec Michael Blondin)
  • Benjamin Courchesne: informatique (avec Michael Blondin)
  • Olivier Desmarais: informatique (avec Nadia Tahiri)
  • Ali Fotouhi: informatique (avec Aïda Ouangraoua)
  • Wanlin Li: informatique (avec Nadia Tahiri)
  • Philippe-Antoine Plante: informatique (avec Marc Frappier)
  • Francis Sarrazin: informatique (avec Manuel Lafond)

Ancien·ne·s étudiant·e·s

  • Luc Bugingo: informatique (maîtrise avec Manuel Lafond)
  • Ibrahim Chegrane: informatique (postdoctorat avec Manuel Lafond)
  • Diego de Azevedo Oliveira: informatique (doctorat avec Marc Frappier)
  • Vincent Fély: informatique (maîtrise avec Marc Frappier)
  • Juliette Fournis d'Albiat: informatique (stage de maîtrise avec Michael Blondin)
  • Steve Jeffrey Tueno Fotso: informatique (doctorat avec Marc Frappier)
  • Esaie Kuitche: informatique (doctorat avec Aïda Ouangraoua)
  • François Ladouceur: informatique (maîtrise avec Michael Blondin)
  • Philip Offtermatt: informatique (doctorat avec Michael Blondin)
  • Andres Pastrana: informatique (maîtrise avec Manuel Lafond)
  • Alex Sansfaçon-Buchanan: informatique (maîtrise avec Michael Blondin)
  • Félix Vigneault: informatique (maîtrise avec Marc Frappier)

Séminaires

  • 26/03/2025: Benjamin Courchesne – Protocoles de population: robustesse et composabilité (Club informatique)
  • 04/12/2024: Francis Sarrazin – Résolubilité de réparation minimale de cographe par suppressions d’arêtes
  • 16/09/2024: Lucie Guillou – Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous and Broadcasts
  • 29/11/2023: François Ladouceur – Protocoles de population avec couleurs (Club informatique)
  • 22/06/2023: Bertrand Marchand – Graph widths for exact algorithms in structural RNA bioinformatics
  • 19/03/2021: Philip Offtermatt – Directed Reachability for Infinite-State Systems (Club informatique)
  • 19/01/2021: Andres Pastrana – Massive Parallelization of branching algorithms (Club informatique)
  • 11/03/2020: Philip Offtermatt – Approaching Safety for Parameterized Systems using View Abstraction
  • 05/12/2019: Philippe Lamontagne – Calcul sûr biparti à l'ère de l'information quantique
  • 15/11/2019: Daniel Amyot – Forage de modèles de processus: amélioration du prétraitement et intégration de buts
  • 03/10/2019: Alain Finkel – Verification of Flat FIFO Systems
  • 02/05/2019: Filip Mazowiecki – The Reachability Problem for Petri Nets is Not Elementary
  • 24/11/2018: Stefan Jaax – Parameterized Verification of Population Protocols
  • 03/10/2018: Jean-Raymond Abrial – Un autre exemple d'ingénierie mathématique: Le théorème de Goodstein
  • 19/09/2018: Jean-Raymond Abrial – Ingénierie mathématique: définition et exemple

Recherche

Les activités de recherche du GRIF touchent aux domaines suivants:

  • algorithmique
  • bio-informatique
  • biologie computationnelle
  • classification
  • clustering
  • complexité du calcul
  • complexité paramétrée
  • cryptographie et sécurité
  • informatique quantique
  • logique
  • méthodes formelles
  • optimisation
  • spécification et raffinement
  • théorie des automates
  • théorie des graphes
  • théorie de l'information
  • théorie du calcul
  • vérification formelle
Les membres du GRIF sont financés par plusieurs organismes subventionnaires tels que le Conseil de recherches en sciences naturelles et en génie du Canada (CRSNG) et le Fonds québécois de la recherche sur la nature et les technologies (FRQNT).

Si vous désirez effectuer un stage de recherche, une maîtrise, un doctorat ou un stage postdoctoral au GRIF, veuillez contacter l'un·e de nos professeur·e·s.

Enseignement

Cours de l'Université de Sherbrooke liés aux domaines du GRIF et enseignés par ses membres:

Autres cours enseignés dans le passé: