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

  1. ^ "Engineering in 100 Seconds: Stephanie Weirich", YouTube, April 7, 2016, retrieved 2020-07-01
  2. ^ a b c Curriculum vitae (PDF), retrieved 2019-09-05
  3. ^ "Interview with Stephanie Weirich", People of Programming Languages, Carnegie Mellon University, 2018, retrieved 2019-09-05
  4. ^ Stephanie Weirich at the Mathematics Genealogy Project
  5. ^ Robin Milner Young Researcher Award, ACM SIGPLAN, retrieved 2026-02-11
  6. ^ Excellence and Impact Recognized by World's Preeminent Computing Society: Association for Computing Machinery Selects 71 Professionals for Outstanding Achievements, ACM, January 21, 2026, retrieved 2026-01-11
This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.