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, théorie des automates, model checking, 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

Professeur·e·s associé·e·s

Postdoctorant·e·s

  • Ibrahim Chegrane: informatique (avec Manuel Lafond)

Doctorant·e·s (Ph.D.)

  • Diego de Azevedo Oliveira: informatique (avec Marc Frappier)
  • Chaymae El Jabri: informatique (avec Marc Frappier)
  • Safa Jammali: informatique (avec Aïda Ouangraoua)
  • Aleksandr V. Koshkarov: informatique (avec Nadia Tahiri)
  • Lionel Nganyewou Tidjon: informatique (avec Marc Frappier)
  • Philip Offtermatt: informatique (avec Michael Blondin)
  • 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)
  • Olivier Desmarais: informatique (avec Nadia Tahiri)
  • Ali Fotouhi: informatique (avec Aïda Ouangraoua)
  • François Ladouceur: informatique (avec Michael Blondin)
  • Wanlin Li: informatique (avec Nadia Tahiri)
  • Alitzel Lopez: informatique (avec Manuel Lafond)
  • Ricardo Andres Pastrana: informatique (avec Manuel Lafond)
  • Philippe-Antoine Plante: informatique (avec Marc Frappier)
  • Alex Sansfaçon-Buchanan: informatique (avec Michael Blondin)

Ancien·ne·s étudiant·e·s

  • 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)
  • Félix Vigneault: informatique (maîtrise avec Marc Frappier)

Séminaires

  • 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
  • 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é: