Stefan Monnier, Université de Montréal

Latest funding

Typer: An exocompiler to program with dependent types
NSERC · 2018 · Principal investigator
$138,000
Typer: a Lisp approach to dependent types
NSERC · 2012 · Principal investigator
$70,000
Type based software verification
NSERC · 2007 · Principal investigator
$120,000

All 4 grants and awards

Typer: An exocompiler to program with dependent types

Principal investigatorNSERC2018Discovery Grants Program - Individual

Principal investigators: Monnier, Stefan

$138,000

Typer: a Lisp approach to dependent types

Principal investigatorNSERC2012Discovery Grants Program - Individual

Principal investigators: Monnier, Stefan

$70,000

Type based software verification

Principal investigatorNSERC2007Discovery Grants Program - Individual

Principal investigators: Monnier, Stefan

$120,000

Type-based program verification

Principal investigatorNSERC2004Discovery Grants Program - Individual

Principal investigators: Monnier, Stefan

$68,100

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

Subject: Prospective PhD student Dear Professor Monnier, 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.] 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]