Biographie
Josée Desharnais est professeure titulaire au département d'informatique et de génie logiciel. Elle a travaillé sur les fondements mathématiques de la vérification formelle des systèmes de Markov interactifs: logiques, bisimulations, métriques. Ces travaux lui ont valu deux prix de test du temps de la prestigieuse conférence internationale sur la logique : LICS test-of-time award 2017, 2022. Elle a quelques contribution en théorie des graphes sur des problèmes de poursuite et de recherche. Plus récemment, elle s’est intéressée à la recherche fondamentale en cybersécurité, visant notamment l’application des politiques de non interférence dans les systèmes informatiques, ce qui garantit la confidentialité et l’intégrité des données. Elle s’intéresse également à garantir la vie privée des systèmes intelligents ainsi que la sûreté de fonctionnement de leurs modèles.
Parcours académique et expériences professionnelles
Ph.D., Computer science, Université McGill, 1999
M.Sc., Mathématiques, Université de Montréal, 1993
B.Sc., Mathématiques, Université de Montréal, 1991
Professeure, maintenant titulaire, Université Laval, 2000-
Prix et distinctions
Domaines de recherche
Ce champ ne comporte pas de données en ce moment.
Applied discrete mathematics
Artificial intelligence, n.e.c.
Autres informatique théorique et mathématiques computationnelles, n.c.a.
Information system security
Coordonnées
+ 1 418-656-2131
1065, avenue de la Médecine
Local 3506
Université Laval
Québec G1V 0A6
Canada