The GRIF brings together researchers of the Université de Sherbrooke working in fields related to the theoretical aspects of computer science. The expertise of the GRIF includes algorithms, bioinformatics, formal methods, quantum computing and automata theory.



  • Michael Blondin: formal verification, model checking, computational complexity, automata theory, logic
  • Marc Frappier: formal specification, security, consent management
  • Manuel Lafond: bioinformatics, algorithms, graph theory, phylogenetics, computational complexity
  • Aïda Ouangraoua: bioinformatics and computational biology, algorithms, phylogenetics, RNA structure
  • Dave Touchette: quantum computing, information theory, communication complexity

Affiliated professors

Ph.D. students

  • Diego de Azevedo Oliveira: computer science (with Marc Frappier)
  • Safa Jammali: computer science (with Aïda Ouangraoua)
  • Esaie Kuitche: computer science (with Aïda Ouangraoua)
  • Lionel Nganyewou Tidjon: computer science (with Marc Frappier)
  • Philip Offtermatt: computer science (with Michael Blondin)
  • Sara Sharifirad: computer science (with Marc Frappier)
  • Steve Jeffrey Tueno Fotso: computer science (with Marc Frappier)
  • Anaïs Vannutelli: biochemistry (with Aïda Ouangraoua)
  • Michel-Ange Zamor: computer science (with Marc Frappier)

Master's students

  • Sarah Belhamiti: biochemistry (with Aïda Ouangraoua)
  • Marc-André Bossanyi: computer science (with Aïda Ouangraoua)
  • Vincent Fély: computer science (with Marc Frappier)
  • Ali Fotouhi: computer science (with Aïda Ouangraoua)
  • Juliette Fournis d'Albiat: computer science (with Michael Blondin, stagiaire/intern)
  • Ricardo Andres Pastrana: computer science (with Manuel Lafond)
  • Philippe-Antoine Plante: computer science (with Marc Frappier)
  • Félix Vigneault: computer science (with Marc Frappier)


  • 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


The research activities of the GRIF cover the following topics:

  • algorithms
  • automata theory
  • bioinformatics
  • computational biology
  • computational complexity
  • cryptography and security
  • formal methods
  • formal verification
  • graph theory
  • information theory
  • logic
  • parameterized complexity
  • quantum computing
  • specification and refinement
  • theory of computation
The members of the GRIF are funded by several organizations such as the Research Council of Canada in Natural Sciences and Engineering Canada (NSERC) and the Fonds québécois de la recherche sur la nature et les technologies (FRQNT).

If you are interested in a research internship or in a master's, Ph.D. or postdoctoral position, please contact one of our professors.