Titre viens içi lorem ipsum set amet
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
Autres informatique théorique et mathématiques computationnelles, n.c.a.
Mathématiques discrètes appliquées
Intelligence artificielle, n.c.a.
Sécurité des systèmes d'information
Ce champ ne comporte pas de données en ce moment.
Coordonnées
1065, avenue de la Médecine
Local 3506
Université Laval
Québec G1V 0A6
Canada
+ 1 418-656-2131