Stephanie Weirich
Stephanie Weirich ( / , ˈw aɪərɪk sig ) är en . / WYRE -ik amerikansk datavetare som specialiserat på typteori typinferens , beroendetyper och funktionell programmering Hon är professor i datavetenskap vid University of Pennsylvania .
Weirich tog examen magna cum laude 1996 från Rice University , med en kandidatexamen i datavetenskap. På Rice blev hon intresserad av programmeringsspråk genom ett forskningsprojekt med Matthias Felleisen . Hon flyttade till Cornell University för sina forskarstudier och avslutade sin doktorsexamen. 2002. Hennes avhandling, Programmering med typer , handledes av Greg Morrisett . Hon började på University of Pennsylvania-fakulteten 2002.
Weirichs arbete med typinferens har införlivats i Glasgow Haskell Compiler . Hon har också varit ledare för POPLmark-utmaningen för benchmarking-system för programmeringsspråk. Weirich vann Robin Milner Young Researcher Award av ACM SIGPLAN 2016.
externa länkar
- Hemsida
- Stephanie Weirichs publikationer indexerade av Google Scholar
| Myndighetskontroll : Akademiker |
|---|
