Professor Dr. Stephanie Weirich

Biography

Stephanie Weirich is a Professor in the Department of Computer and Information Science at the University of Pennsylvania. Her research interests center on programming languages, with a special focus on functional programming, type systems, and dependent types. Over the course of her career, she has published numerous articles that discuss topics such as type inference, metatheory, and the use of abstract interpretation for bug detection in programming. Weirich has received significant recognition for her work, contributing to both theoretical aspects of programming and practical implementations. She actively participates in community initiatives within the programming languages domain, collaborating with leading researchers and institutions. Additionally, she is passionate about education and mentoring students in the field of computer science, fostering the growth of future researchers.

Research Interests