Brigitte Pientka

Carnegie Mellon University , 2003
Computer Science


Brigitte is an Associate Professor in the School of Computer Science at McGill University. She received her doctorate from Carnegie Mellon University. Her research interest lies in developing a theoretical and practical foundation for building and reasoning about reliable safe software systems. To achieve this goal, she combines research on the logical foundations of computer science with programming language design and verification.


Carnegie Mellon University

Computer Science

Class of 2003

Awards & Publications

More Scholars