Стефани Вайрих ( / ˈ w aɪ ə r ɪ k / WYRE -ik [1] ) — американский учёный-компьютерщик, специализирующийся на теории типов , выводе типов , зависимых типах и функциональном программировании . Она является профессором компьютерных наук в Университете Пенсильвании .
Вайрих с отличием окончила Университет Райса в 1996 году , получив степень бакалавра в области компьютерных наук. [2] В Райсе она заинтересовалась языками программирования в рамках исследовательского проекта с Маттиасом Феллейзеном . [3] Она перешла в Корнеллский университет для обучения в аспирантуре и получила степень доктора философии в 2002 году. [2] Ее диссертацией «Программирование с использованием типов » руководил Грег Моррисетт . [4] Она присоединилась к преподавательскому составу Университета Пенсильвании в 2002 году. [2]
Работа Вайрих по выводу типов была включена в Glasgow Haskell Compiler . Она также была лидером конкурса POPLmark по бенчмаркингу систем типов языков программирования. Вайрих выиграла премию SIGPLAN Robin Milner Young Researcher Award в 2016 году.