Стефани Вейрих - Stephanie Weirich

Стефани Вейрих (/ˈшаɪəрɪk/ WYRE-ik[1]) - американский ученый-компьютерщик, специализирующийся на теория типов, вывод типа, зависимые типы, и функциональное программирование. Она профессор информатики в Пенсильванский университет.

Вейрих окончил с отличием в 1996 году из Университет Райса, со степенью бакалавра компьютерных наук.[2] В Райс она заинтересовалась языками программирования в рамках студенческого исследовательского проекта с Маттиас Фелляйзен.[3] Она переехала в Корнелл Университет для ее аспирантуры, защиты докторской степени. в 2002.[2] Ее диссертация, Программирование с типами, находился под наблюдением Грег Моррисетт.[4] Она поступила на факультет Пенсильванского университета в 2002 году.[2]

Работа Вейриха над выводом типов была включена в Компилятор Glasgow Haskell. Она также была лидером Проблема POPLmark для систем тестового типа языков программирования. Вейрих получил премию Робина Милнера для молодых исследователей ACM SIGPLAN в 2016 году.[5]

Рекомендации

  1. ^ «Инжиниринг за 100 секунд: Стефани Вейрих». Получено 1 июля 2020.
  2. ^ а б c Биография Резюме (PDF), получено 2019-09-05
  3. ^ «Интервью со Стефани Вейрих», Люди языков программирования, Университет Карнеги-Меллона, 2018 г., получено 2019-09-05
  4. ^ Стефани Вейрих на Проект "Математическая генеалогия"
  5. ^ Премия Робина Милнера молодому исследователю, ACM SIGPLAN, получено 2019-09-05

внешняя ссылка