Josée Desharnais

Professeure titulaire

Champs d'intérêts

  • Vérification de modèles probablisites
  • Méthodes formelle pour la sécurité
  • Théorie des graphes - jeux de poursuite

 

Josée Desharnais, professeure au Département d'informatique et de génie logiciel

  • Mat 1919 Informatique pour informaticien

 

  • Baccalauréat ès sciences - mathématiques (Université de Montréal, 1991)
  • Maîtrise ès sciences - mathématiques (Université de Montréal, 1993)
  • Ph.D. – Computer Science (Université McGill, 1999)