BrigitteĀ Pientka
Full Professor at McGill University
Montreal, Quebec, Canada
Summary
š¤
Seniorš
Top SchoolBrigitte Pientka is a Full Professor in the School of Computer Science at McGill University with 27 years of experience combining theoretical foundations and practical systems to build reliable, safe software. She earned her Ph.D. from Carnegie Mellon University in 2003 and has since focused on the logical foundations of programming languages and formal verification. Her work bridges rigorous proof techniques with system-building, enabling both principled reasoning and real-world implementation. Based in Montreal, she leads research that informs how correctness and safety can be engineered into software from the ground up. Colleagues know her for translating deep theoretical insights into tools and architectures that address practical reliability challenges.
27 years of coding experience
2003, Computer Science, 2003, Computer Science at Carnegie Mellon University
Github Skills (9)
functional-programming10
dependent-types10
lf10
relational-algebra10
handlers10
ocaml10
normalization9
programming-language9
proofs9
Programming languages (5)
Github contributions (5)
andreasabel/strong-normalization
Jun 2017 - Aug 2018
Formalizations of strong normalization proofs
Contributions:123 commits, 15 PRs, 94 pushes in 1 year 3 months
normalizationproofs
Beluga-lang/Meta
May 2015 - May 2018
Mechanizing Types and Programming Languages using Beluga
Contributions:46 commits, 3 PRs, 31 pushes in 3 years
programming-language
Find and Hire Top DevelopersWeāve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.