布丽吉特·皮恩卡 ⇐ 文章草稿

[Anonymous]

“Brigitte Pientka”（出生于 1971 年）是一位计算机科学家，其研究涉及软件系统安全的形式化方法，包括类型论、自动推理和函数式编程的操作语义。她出生于德国，在德国和美国接受教育，目前在加拿大麦吉尔大学担任计算机科学教授，并领导计算和逻辑小组。

==教育和职业==
皮恩特卡 1971 年出生于德国科堡。
她于 2003 年加入麦吉尔大学，担任计算机科学助理教授，
==认可==
Pientka 和 Jana Dunfield 于 2008 年发表的论文“Programming withproofs and Explicit contexts”荣获 ACM SIGPLAN 国际声明式编程原则与实践会议 (PPDP) 2018 年 Test of Time 奖。
==参考资料==







==外部链接==
*[https://www.cs.mcgill.ca/~bpientka/主页]
*[https://www.cs.mcgill.ca/~complogic/ 计算与逻辑组]
*
1971年出生
活着的人
来自科堡的人
德国计算机科学家
德国女性计算机科学家
加拿大计算机科学家
加拿大女性计算机科学家
达姆施塔特工业大学校友
卡内基梅隆大学校友
麦吉尔大学学术人员