Roger Villemaire, Université du Québec à Montréal

Research

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

Latest funding

Interaction Modelling and Inference
NSERC · 2023 · Principal investigator
$82,000
Learning from interaction
NSERC · 2015 · Principal investigator
$145,000
Logics, structures and verification
NSERC · 2009 · Principal investigator
$95,000

All 6 grants and awards

No publications available.

Interaction Modelling and Inference

Principal investigatorNSERC2023Discovery Grants Program - Individual

Principal investigators: Villemaire, Roger

Keywords: interaction; inference; logic; propositional satisfiability; quantified boolean formulas; combinatorial games; verification

$82,000

Learning from interaction

Principal investigatorNSERC2015Discovery Grants Program - Individual

Principal investigators: Villemaire, Roger

$145,000

Logics, structures and verification

Principal investigatorNSERC2009Discovery Grants Program - Individual

Principal investigators: Villemaire, Roger

$95,000

Development environment in model-checking

Principal investigatorNSERC2004Discovery Grants Program - Individual

Principal investigators: Villemaire, Roger

$75,000

Meta-CLI Model for Configuration Management

Co-investigatorNSERC2003Collaborative Research and Development Grants

Principal investigators: Cherkaoui, Omar

$154,500

Logic and transition systems

Principal investigatorNSERC1997Discovery Grants Program - Individual

Principal investigators: Villemaire, Roger

$48,510

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 2023

Subject: Prospective PhD student Dear Professor Villemaire, 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 "Interaction Modelling and Inference" (2023), 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]