Брижит Пиентка
Бриджит Пьентка (1971 г.р.) — ученый-компьютерщик, чьи исследования включают формальные методы обеспечения безопасности программных систем , включая теорию типов , автоматизированные рассуждения и операционную семантику функционального программирования . Родившаяся в Германии и получившая образование в Германии и США, она работает в Канаде профессором информатики в Университете Макгилла , где возглавляет группу вычислений и логики.
Образование и карьера
[ редактировать ]Пиентка родилась в 1971 году в Кобурге , Германия. [1] Она изучала информатику в Техническом университете Дармштадта , получив диплом (немецкий эквивалент степени магистра) в 1997 году. [2] После посещения Корнелльского университета в качестве приглашенного научного сотрудника, [1] Она поступила в Университет Карнеги-Меллона на докторантуру по информатике. Она защитила докторскую диссертацию. в 2003 году с диссертацией «Табличное логическое программирование высшего порядка» под руководством Фрэнка Пфеннинга . [3]
Она поступила в Университет Макгилла в качестве доцента кафедры информатики в 2003 году. [2] и в настоящее время является там профессором. [4]
Признание
[ редактировать ]Статья Пиентки и Яны Данфилд 2008 года «Программирование с доказательствами и явным контекстом» получила награду «Испытание временем» в 2018 году на Международной конференции ACM SIGPLAN по принципам и практике декларативного программирования (PPDP). [5]
Ссылки
[ редактировать ]- ^ Jump up to: а б Резюме , Корнельский университет, 1997 г. , получено 5 марта 2024 г.
- ^ Jump up to: а б Биографические данные (PDF) , получено 5 марта 2024 г.
- ^ Бриджит Пьентка в проекте «Математическая генеалогия»
- ^ «Факультет» , Школа компьютерных наук , Университет Макгилла , получено 5 марта 2024 г.
- ^ «Профессор Пиентка выигрывает премию «Испытание временем»» , Школа компьютерных наук Университета Макгилла, 19 сентября 2018 г. , получено 5 марта 2024 г.
