Le GRIF est le groupe de recherche en informatique fondamentale de l'Université de Sherbrooke. Nos membres travaillent à l'intersection de l'informatique théorique et de ses applications en bio-informatique, méthodes formelles et informatique quantique.
Membres
Corps professoral
- 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
- Michael Blondin — vérification formelle algorithmique, automates, logique, complexité du calcul
- Marc Frappier — méthodes formelles de spécification, sécurité, gestion du consentement
- 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
Postdoc
- Elham Torabian (supervision: Dave Touchette + Cunlu Zhou)
Doctorat
- Vanessa Flügel (supervision: Michael Blondin + Guillermo A. Pérez @ UAntwerp)
- Antoine Carrier (supervision: Dave Touchette)
- Gurleen Padda (supervision: Dave Touchette)
Maîtrise
- Benjamin Courchesne (supervision: Michael Blondin)
- Samy Chady Khoumsi-Kasmi (supervision: Michael Blondin)
- Louis Desruisseaux (supervision: Dave Touchette)
- Simon Ducharme (supervision: Dave Touchette)
- Elisabeth Mailhot (supervision: Dave Touchette + Cunlu Zhou)
Stagiaires de premier cycle
- Eliott Texier (supervision: Michael Blondin)
- Pierre-Étienne Brindle (supervision: Dave Touchette)
- Ludovic Chabot Provencher (supervision: Dave Touchette + Cunlu Zhou)
Axes de recherche
Les activités de recherche du GRIF touchent à ces domaines:
- 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
Cours
Cours de l'Université de Sherbrooke liés aux domaines du GRIF et enseignés par ses membres:
- MAT115 – Logique et mathématiques discrètes
- IFT313 – Introduction aux langages formels
- IFT339 – Structures de données
- IFT436 – Algorithmes et structures de données
- IGL501/IGL710 – Méthodes formelles en génie logiciel
- IGL502/IGL752 – Techniques de vérification et de validation
- IFT503/IFT711 – Théorie du calcul
- IFT606 – Sécurité et cryptographie
- IFQ701 – Algorithmes quantiques
- BIN702 – Algorithmes pour la bio-informatique
- BIN704 – Sujets choisis en bio-informatique
- BIN710 – Forage de données pour la bio-informatique
- IFT769 – Sujets choisis en informatique théorique
- IFT800 – Algorithmique
- IFT814 – Cryptographie
Présentations
- 17/03/2026: Exploring word equations — Michael Blondin (midi-théorie)