Philip Scott

Biographie

É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(s) de recherche : Logique et fondements de l'informatique