Ryan Kavanagh, Université du Québec à Montréal

Research

Read how they describe their research on their Université du Québec à Montréal profile.

Latest funding

Reliable foundations for hybrid quantum-classical languages
NSERC · 2025 · Principal investigator
$25,000
Logical Foundations For Secure Concurrent Computation
NSERC · 2024 · Principal investigator
$12,500
Logical Foundations For Secure Concurrent Computation
NSERC · 2024 · Principal investigator
$32,000

All 3 grants and awards

No publications available.

Reliable foundations for hybrid quantum-classical languages

Principal investigatorNSERC2025International - Catalyst - Quantum - G7

Principal investigators: Kavanagh, Ryan

Keywords: Computer software; Information, computer and communication technologies

$25,000

Logical Foundations For Secure Concurrent Computation

Principal investigatorNSERC2024Discovery Launch Supplement

Principal investigators: Kavanagh, Ryan

Keywords: programming languages; concurrency theory; computational logic; session types; dependent types; mechanization

$12,500

Logical Foundations For Secure Concurrent Computation

Principal investigatorNSERC2024Discovery Grants Program - Individual

Principal investigators: Kavanagh, Ryan

Keywords: programming languages; concurrency theory; computational logic; session types; dependent types; mechanization

$32,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 2025

Subject: Prospective PhD student Dear Professor Kavanagh, 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 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 "Reliable foundations for hybrid quantum-classical languages" (2025), 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]