معرفی
Brigitte Pientka is a Full Professor in the School of Computer Science at McGill University, leading the Computation and Logic research group. She holds a PhD from Carnegie Mellon University (2003) and has conducted studies at the University of Edinburgh and Technical University of Darmstadt. Her research focuses on theoretical foundations of reliable software systems, combining programming languages, type theory, and theorem proving. Notable contributions include work on modal dependent type theory, contextual types, and mechanizing meta-theoretic proofs using the Beluga system.
Her academic roles include serving as General Chair of POPL 2020, Program Chair for ICFP 2024 and CPP 2023/2024, and Executive Editor of Logical Methods in Computer Science. Awards include the Humboldt Fellowship and a Test of Time Award at PPDP'18. She actively contributes to conference PCs and editorial boards, emphasizing formal methods and programming languages.
Pientka teaches advanced courses on programming languages (COMP 523, COMP 527), logic, and dependently typed systems (COMP 599, COMP 762). Her work spans theoretical advancements and practical tools, with a focus on educating students in functional programming and formal verification. She advocates for diversity in computer science, encouraging underrepresented groups to pursue research opportunities.
