Stefania Weirich

Stephanie Weirich ( / teorii w aɪ ə r ɪ k / WYRE -ik ) to amerykański informatyk specjalizujący się w typów , wnioskowaniu o typach , typach zależnych i programowaniu funkcjonalnym . Jest profesorem informatyki na Uniwersytecie Pensylwanii .

Weirich ukończył z wyróżnieniem Rice University w 1996 roku , uzyskując tytuł licencjata w dziedzinie informatyki. W Rice zainteresowała się językami programowania w ramach projektu badawczego z Matthiasem Felleisenem . Przeniosła się na Cornell University na studia podyplomowe, uzyskując tytuł doktora. w 2002. Jej rozprawa, Programowanie z typami , była nadzorowana przez Grega Morrisetta . Wstąpiła na wydział University of Pennsylvania w 2002 roku.

Prace Weiricha dotyczące wnioskowania o typach zostały włączone do kompilatora Glasgow Haskell . Była także liderem wyzwania POPLmark , polegającego na benchmarkingu systemów typów języków programowania. Weirich zdobył nagrodę Robin Milner Young Researcher od ACM SIGPLAN w 2016 roku.

Linki zewnętrzne

• Strona główna
• Stephanie Weirich indeksowane przez Google Scholar