Pieter Hofstra

Carte électronique

Pieter Hofstra
Professeur agrégé

MSc
PhD (University of Utrecht)

KED 307G

Bureau : 613-562-5800 poste 3494

Courriel professionnel : phofstra@uOttawa.ca

Image par défaut

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

Champs d'intérêt

  • Logique catégorique
Haut de page