Étudiants et chercheurs postdoctoraux supervisés :
- Étudiants aux 2e et 3e cycles :
- Delaney, Christopher
- Fomatati, Yves Baudelaire
- O'Neill, Thomas
- Chercheurs postdoctoraux :
- Bagnol, Marc (co-supervisé avec Pieter Hofstra et Philip Scott)
- Fortier, Jérôme (co-supervisé avec Pieter Hofstra et Philip Scott)
Groupe(s) de recherche : Logique et fondements de l'informatique