Josée Desharnais, Université Laval

Research

Algorithmes IA Certification Systèmes probabilistes Vérification

Latest funding

Vers la vérification et certification d'algorithmes d'intelligence artificielle
NSERC · 2019 · Principal investigator
$204,000
DEEL DEpendable & Explainable Learning
NSERC · 2018 · Co-investigator
$2,362,200
Static analysis of Android applications for malware detection
NSERC · 2015 · Principal investigator
$25,000

All 6 grants and awards

Vers la vérification et certification d'algorithmes d'intelligence artificielle

Principal investigatorNSERC2019Discovery Grants Program - Individual

Principal investigators: Desharnais, Josée

Keywords: Algorithmes IA; Certification; Systèmes probabilistes; Vérification

$204,000

DEEL DEpendable & Explainable Learning

Co-investigatorNSERC2018Collaborative Research and Development Grants

Principal investigators: Gagné, Christian C

Keywords: artificial intelligence; certifiability; explainability; fairness; interpretability; machine learning; privacy by design; robustness; security; software engineering

$2,362,200

Static analysis of Android applications for malware detection

Principal investigatorNSERC2015Engage Grants Program

Principal investigators: Desharnais, Josée

$25,000

""Duality, approximations and distances for probabilistic processes""

Principal investigatorNSERC2012Discovery Grants Program - Individual

Principal investigators: Desharnais, Josée

$140,000

Formal methods for labelled Markov processes

Principal investigatorNSERC2006Discovery Grants Program - Individual

Principal investigators: Desharnais, Josée

$135,000

Modeling and verification of probabilistic processes

Principal investigatorNSERC2001Discovery Grants Program - Individual

Principal investigators: Desharnais, Josée

$88,000

From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Mention their NSERC grant from 2019

Subject: Prospective PhD student: Algorithmes IA Dear Professor Desharnais, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. Your research on algorithmes ia connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] I also saw your NSERC-funded project "Vers la vérification et certification d'algorithmes d'intelligence artificielle" (2019), and I would be glad to contribute to work in that direction. Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]