Брижит Пиентка ⇐ Васина Википедия

[Гость]

«Бриджит Пьентка» (1971 г.р.) — ученый-компьютерщик, чьи исследования включают формальные методы безопасности программных систем, включая теорию типов, автоматизированное рассуждение и операционную семантику функционального программирования. Она родилась в Германии, получила образование в Германии и США. Работает в Канаде профессором информатики в Университете Макгилла, где возглавляет группу вычислений и логики.

==Образование и карьера==
Пиентка родилась в 1971 году в Кобурге, Германия.
Она присоединилась к Университету Макгилла в качестве доцента кафедры информатики в 2003 году.
==Признание==
Статья Пиентки и Яны Данфилд 2008 года «Программирование с доказательствами и явным контекстом» получила награду «Испытание временем» в 2018 году на Международной конференции ACM SIGPLAN по принципам и практике декларативного программирования (PPDP).
==Ссылки==







==Внешние ссылки==
*[https://www.cs.mcgill.ca/~bpientka/ Домашняя страница]
*[https://www.cs.mcgill.ca/~complogic/ Группа вычислений и логики]
*
1971 года рождения
Живые люди
Люди из Кобурга
Немецкие ученые-компьютерщики
Немецкие женщины-компьютерщики
Канадские ученые-компьютерщики
Канадские женщины-компьютерщики
Выпускники Технического университета Дармштадта
Выпускники Университета Карнеги-Меллон
Академический состав Университета Макгилла

Source: https://en.wikipedia.org/wiki/Brigitte_Pientka