Skip to main content

Stephanie Weirich: Robin Milner Young Researcher Award

Stephanie Weirich, professor of computer and information science in the School of Engineering and Applied Science at the University of Pennsylvania, recently received the Robin Milner Young Researcher Award from the Association for Computing Machinery’s Special Interest Group on Programming Languages. The award recognizes outstanding contributions by investigators in the first 20 years of their professional career.

Dr. Weirich has contributed to programming language research in the areas of functional programming dependent types and proof assistants. Along with collaborators at Microsoft Research, she has extended the GHC Haskell language with novel type system features. She also collaborated with colleagues at Penn and Cambridge to initiate and lead the POPLMark challenge, which promotes the use of proof assistants for formalizing and checking the theory of programming languages. In addition, Dr. Weirich has contributed to the understanding of dependent types in practical programming languages and is working to bring the benefits of dependent types to Haskell. She also has made substantial contributions to the programming languages community, particularly with her involvement in the Programming Languages Mentoring Workshop (PLMW).

Back to Top