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.



  • Martin Beaudry: automata theory, algebra, computational complexity
  • 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)
  • 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)
  • Philippe-Antoine Plante: computer science (with Marc Frappier)
  • Félix Vigneault: computer science (with Marc Frappier)


  • 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.