Brigitte Pientka, McGill University

Research

Functional Programming Logical Frameworks Meta-Programming Proof Assistants Type Systems Type Theory Programming Environments Computer Science Education

Latest funding

Moebius: Logical Principles for Type-Safe Meta-Programming
NSERC · 2022 · Principal investigator
$192,000
Understanding How Students Develop Functional Programs Using Online Programming Environments
SSHRC · 2021 · Principal investigator
$74,876
Beluga: Building Trustworthy Software Systems through Programming Proofs
NSERC · 2017 · Principal investigator
$115,000

All 8 grants and awards

Moebius: Logical Principles for Type-Safe Meta-Programming

Principal investigatorNSERC2022Discovery Grants Program - Individual

Principal investigators: Pientka, Brigitte

Keywords: type systems; functional programming; logical frameworks; type theory; proof assistants; meta-programming

$192,000

Understanding How Students Develop Functional Programs Using Online Programming Environments

Principal investigatorSSHRC2021Insight Development Grant

Principal investigators: Pientka, Brigitte

Keywords: Programming Environments; Computer Science Education; Data Collection; Data Mining

$74,876

Beluga: Building Trustworthy Software Systems through Programming Proofs

Principal investigatorNSERC2017Discovery Grants Program - Individual

Principal investigators: Pientka, Brigitte

$115,000

Proofware: establishing trustworthy computing through programming with proofs

Principal investigatorNSERC2012Discovery Grants Program - Individual

Principal investigators: Pientka, Brigitte

$140,000

Proofware: establishing trustworthy computing through programming with proofs

Principal investigatorNSERC2012Discovery Grants Program - Accelerator Supplements

Principal investigators: Pientka, Brigitte

$120,000

Network for the engineering of complex software intensive systems for automotive systems - NECSIS

Co-investigatorNSERC2009Automotive Partnership Canada Project

Principal investigators: Maibaum, Thomas

$10,575,000

SAVE: towards a foundation for safe and verified software

Principal investigatorNSERC2007Discovery Grants Program - Individual

Principal investigators: Pientka, Brigitte

$135,000

Efficient verification and validation techniques for logical frameworks

Principal investigatorNSERC2004Discovery Grants Program - Individual

Principal investigators: Pientka, Brigitte

$77,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

Mention their NSERC grant from 2022

Subject: Prospective PhD student: Functional Programming Dear Professor Pientka, 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 functional programming 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 "Moebius: Logical Principles for Type-Safe Meta-Programming" (2022), 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]