top of page
Josée Desharnais

Josée Desharnais

Professeure titulaire

DÉPARTEMENT D'INFORMATIQUE ET DE GÉNIE LOGICIEL

Recrutement aux cycles supérieurs

ResearchGate

Google Scholar

LinkedIn

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 

Pavillon Adrien-Pouliot

1065, avenue de la Médecine

Local 3506

Université Laval

Québec G1V 0A6

Canada

Nouvelles

bottom of page