Pieter Hofstra

Biographie

Étudiants et chercheurs postdoctoraux supervisés :

• Étudiants aux 2e et 3e cycles :
  • Chambers, Kris
  • Khan, Sakif Hossain
  • Parker, Jason (co-supervisé avec Philip Scott)
  • Trepanier, Kyle (co-supervisé avec Philip Scott)
• Chercheurs postdoctoraux :
  • Bagnol, Marc (co-supervisé avec Rick Bluet et Philip Scott)
  • Fortier, Jérôme (co-supervisé avec Rick Bluet et Philip Scott)

Groupe(s) de recherche: Logique et fondements de l'informatique