Бригитта Пентка
Бригитта Пентка (родилась в 1971 году) — компьютерный ученый, чьи исследования включают формальные методы безопасности программных систем , включая теорию типов , автоматизированные рассуждения и операционную семантику функционального программирования . Родилась в Германии и получила образование в Германии и США, работает в Канаде профессором компьютерных наук в Университете Макгилла , где возглавляет группу вычислений и логики.
Образование и карьера
Пентка родилась в 1971 году в Кобурге , Германия. [1] Она изучала информатику в Техническом университете Дармштадта , получив диплом (немецкий эквивалент степени магистра) в 1997 году. [2] После посещения Корнеллского университета в качестве приглашенного исследователя, [1] она отправилась в Университет Карнеги-Меллона для получения докторской степени в области информатики. Она получила докторскую степень в 2003 году, защитив диссертацию на тему « Вынесенное на обсуждение логическое программирование высшего порядка» под руководством Фрэнка Пфеннинга . [3]
В 2003 году она присоединилась к Университету Макгилла в качестве доцента кафедры компьютерных наук [2] и в настоящее время является там штатным профессором. [4]
Признание
Статья Пентки и Яны Данфилд 2008 года «Программирование с доказательствами и явными контекстами» получила премию Test of Time Award 2018 на Международной конференции ACM SIGPLAN по принципам и практике декларативного программирования (PPDP). [5]
Ссылки
- ^ ab Резюме, Корнелльский университет, 1997 , получено 2024-03-05
- ^ ab Curriculum vitae (PDF) , получено 2024-03-05
- ^ Бригитта Пентка в проекте «Генеалогия математики»
- ^ "Faculty", Школа компьютерных наук , Университет Макгилла , получено 2024-03-05
- ^ "Профессор Пентка выигрывает премию Test of Time Award", Школа компьютерных наук , Университет Макгилла, 19 сентября 2018 г. , получено 05.03.2024
Внешние ссылки
- Домашняя страница
- Группа вычислений и логики
- Публикации Бригитты Пентка, проиндексированные Google Scholar
