Étudiants et chercheurs postdoctoraux supervisés
- Étudiants aux 2e et 3e cycles :
- Lu, Weiyun (co-supervisé avec Amy Felty)
- Yan Steimle
- Parker, Jason (co-supervisé avec Pieter Hofstra)
- Simon Fortier-Garceau (co-supervisé avec Pieter Hofstra)
- Chercheurs postdoctoraux
- Pierre-Alain Jacqmin (co-supervisé avec Rick Blute)
- Fortier, Jérôme (co-supervisé avec Rick Blute et Pieter Hofstra)
Groupe de recherche
- Logique et fondements de l'informatique