Стефани Weirich ( / ш aɪ ə г ɪ к / Wyre -ik [1] ) является американский ученый , специализирующийся на теории типов , умозаключения типа , зависимых типов и функционального программирования . Она профессор компьютерных наук в Пенсильванском университете .
Вейрих с отличием окончил Университет Райса в 1996 году со степенью бакалавра компьютерных наук. [2] В Райс она заинтересовалась языками программирования в рамках студенческого исследовательского проекта с Матиасом Фелляйзеном . [3] Она переехала в Корнельский университет для учебы в аспирантуре, получив докторскую степень. в 2002 году. [2] Ее диссертацию « Программирование с типами» возглавлял Грег Моррисетт . [4] Она поступила на факультет Пенсильванского университета в 2002 году. [2]
Работа Вейриха над выводом типов была включена в компилятор Glasgow Haskell . Она также была лидером в конкурсе POPLmark для тестирования систем типов языков программирования. Вейрих выиграл Премию Робина Милнера для молодых исследователей от ACM SIGPLAN в 2016 году. [5]
Рекомендации
- ^ «Разработка за 100 секунд: Стефани Вейрих» . Дата обращения 1 июля 2020 .
- ^ а б в Биографические данные (PDF) , получено 5 сентября 2019 г.
- ^ "Интервью со Стефани Вейрих" , специалистом по языкам программирования , Университет Карнеги-Меллона, 2018 г. , получено 5 сентября 2019 г.
- ^ Стефани Weirich на Математическая генеалогия
- ^ Премия Робина Милнера для молодых исследователей , ACM SIGPLAN , получено 5 сентября 2019 г.
Внешние ссылки
- Домашняя страница
- Публикации Стефани Вейрих, проиндексированные Google Scholar