Brigitte Pientka
Director of the School · Faculty of Science · McGill University
Quick answer: Brigitte Pientka is Director of the School at McGill University. Brigitte Pientka shows an active PhD hiring signal as of 2026-10-19.
⭐ If you are interested in join my group at McGill as an undergraduate researcher, MSc or PhD student, or postdoc, please see the following information.
Research interests
Logic and Computation, Programming Language Theory
Selected publications (since 2023)
[2025] Junyoung Jang, Jason Z. Hu, Antoine Gaulin, and Brigitte Pientka. McTT: A Verified Kernel for a Proof Assistant, 30th ACM SIGPLAN Conference on Functional Programming (ICFP'25)
[2025] Daniel Zackon, Chuta Sano, Alberto Momigliano, and BrigittePientka. Split Decisions: Explicit Contexts for Substructural Languages., 14th International Conference on Certified Programs and Proofs (CPP'25)
[2024] Junyoung Jang, Sophia Roshal, Frank Pfenning, and Brigitte Pientka. Adjoint Natural Deduction, 9th International Conference on Formal Structures for Computation and Deduction (FSCD'24), 2024
[2024] Junyoung Jang, Sophia Roshal, Frank Pfenning, and Brigitte Pientka. Adjoint Natural Deduction (Extended Version), publised at Feb 2024
[2024] Jason Z.S. Hu and Brigitte Pientka. Layered Modal Type Th
Frequently asked questions
Is Brigitte Pientka hiring PhD students at McGill University?
Yes. As of 2026-10-19, Brigitte Pientka's faculty page shows a PhD hiring signal: If you are interested in join my group at McGill as an undergraduate researcher, MSc or PhD student, or postdoc, please see the following information..
What does Brigitte Pientka research?
Logic and Computation, Programming Language Theory
Data last updated: 2026-10-19 · Source: phd-match.com faculty database.
Is Brigitte Pientka a match for your research?
Upload your CV and get matched to professors who fit — with hiring signals.
Start matching