Baccalauréat

Supervision de 38 étudiants dans des mémoires ou des projets de fins d'études de  premier cycle.

Maîtrise

1.  René Proulx, Modèles de complexité.  M.Sc., Université Laval, 1983.

2.  Houman Zolfaghari, Arithmétisation de classes de complexité.  M.Sc., Université Laval, 1987.

3.  Rémi Côté, Contextes axiomatiques pour la terminaison de systèmes de réécriture.  M.Sc., Université Laval, 1992.

4.  Francis Renaud, Construction et étude d'une hiérarchie de complexité pour les fonctions récursives.  M.Sc., Université Laval, 1995.

5.  Patrick Bourget, Jeux, thermographes et poids atomiques.  M.Sc., Université Laval, 2004.  (Co-direction avec Thomas Ransford)

Doctorat

Fairouz Tchier, Sémantiques relationnelles démoniaques et vérification de boucles non déterministes.  Ph.D., Université Laval, 1996.  (Co-direction avec Jules Desharnais)