Brigitte Pientka

Professor

type theorytheorem provinglogic and functional programmingand logical frameworks. For more informationyou can visit Computation and Logic group

简介

Brigitte Pientka is a Full Professor in the School of Computer Science at McGill University, and leading the Computation and Logic group. She received her PhD from Carnegie Mellon University in 2003, and studied previously at the University of Edinburgh and Technical University of Darmstadt.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。