Dr. Josée Desharnais

Professor

Build a Statement of Purpose

Generate a tailored SOP for Dr. Josée Desharnais. Improve your application with a focused, well-structured draft.

Biography

Josée Desharnais is a full professor in the Department of Computer Science and Software Engineering. She has worked on the mathematical foundations of formal verification of interactive Markov systems, including logics, bisimulations, and metrics. Her work has earned her two test-of-time awards from the prestigious international conference on logic: the LICS test-of-time award in 2017 and 2022. She has also contributed to graph theory concerning pursuit and search problems. Recently, she has taken an interest in fundamental research in cybersecurity, particularly the application of non-interference policies in computer systems, ensuring data confidentiality and integrity. Additionally, she focuses on preserving the privacy of intelligent systems and the safety of their models.

Research Interests

Mathematical Foundations of Formal Verification Interactive Markov Systems Cybersecurity Data Confidentiality Graph Theory Artificial Intelligence Information System Security Theoretical Computer Science Computational Mathematics

Experience

Full Professor

2000-01-01 — Present

Laval University • Quebec, Canada

Full professor in the Department of Computer Science and Software Engineering.

Requirements for Laval University

Master Program
Requirements
GPA Requirement
Required:3.22
IELTS
Overall
Required:6.5
TOEFL
Total
Required:79
PTE
Overall
Required:53
Prerequisites
Bachelor's degree in business or related field Basic college-level mathematics
Application Checklist
  • Resume
  • Letter of intent
  • Academic transcripts
  • French proficiency test results (TCF/TFI)
Specialization Notes

Department of Management / MBA programs often require higher GPAs and specific English proficiency.