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.