Biography:Stephanie Weirich
Stephanie Weirich (/ˈwaɪərɪk/ WYRE-ik[1]) is an American computer scientist specializing in type theory, type inference, dependent types, and functional programming. She is a professor of computer science at the University of Pennsylvania.
Education and career
Weirich graduated magna cum laude in 1996 from Rice University, with a bachelor's degree in computer science.[2] At Rice, she became interested in programming languages through an undergraduate research project with Matthias Felleisen.[3] She moved to Cornell University for her graduate studies, completing her Ph.D. in 2002.[2] Her dissertation, Programming with Types, was supervised by Greg Morrisett.[4] She joined the University of Pennsylvania faculty in 2002.[2]
Recognition
Weirich won the SIGPLAN Robin Milner Young Researcher Award in 2016.[5] She was named as an ACM Fellow, in the 2025 class of fellows, "for contributions to static type systems and mechanized mathematics of programming languages".[6]
References
- ↑ Engineering in 100 Seconds: Stephanie Weirich, 7 April 2016, https://www.youtube.com/watch?v=wnZCeG2G4IE, retrieved 1 July 2020
- ↑ 2.0 2.1 2.2 Curriculum vitae, http://www.cis.upenn.edu/~sweirich/weirich-cv.pdf, retrieved 2019-09-05
- ↑ "Interview with Stephanie Weirich", People of Programming Languages (Carnegie Mellon University), 2018, https://www.cs.cmu.edu/~popl-interviews/weirich.html, retrieved 2019-09-05
- ↑ Stephanie Weirich at the Mathematics Genealogy Project
- ↑ Robin Milner Young Researcher Award, ACM SIGPLAN, https://www.sigplan.org/Awards/Milner/, retrieved 2026-02-11
- ↑ Excellence and Impact Recognized by World's Preeminent Computing Society: Association for Computing Machinery Selects 71 Professionals for Outstanding Achievements, ACM, 21 January 2026, https://www.acm.org/media-center/2026/january/fellows-2025, retrieved 2026-01-11
External links
- Home page
- Stephanie Weirich publications indexed by Google Scholar
 |  |
