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.
Computer ScienceClass of 2003