Philip Scott

Biographie

Étudiants et chercheurs postdoctoraux supervisés :

• Étudiants aux 2e et 3e cycles :
  • Lu, Weiyun
  • Parker, Jason (co-supervisé avec Pieter Hofstra)
  • Trepanier, Kyle (co-supervisé avec Pieter Hofstra)
  • Vinogradova, Polina (co-supervisé avec Amy Felty)
• Chercheurs postdoctoraux
  • Bagnol, Marc (co-supervisé avec Rick Blute et Pieter Hofstra)
  • Fortier, Jérôme (co-supervisé avec Rick Blute et Pieter Hofstra)

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