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