Stephanie Weirich

Papers

Total Citations

H-Index

About

Stephanie Weirich is a leading researcher in programming languages and type theory, with a particular focus on dependently typed programming, formal verification, and the design of practical, expressive type systems. Her major contributions include advancing the theory and implementation of dependent types in functional languages, notably through her work on the GHC Haskell compiler, where she has been instrumental in developing features like Generalized Algebraic Data Types (GADTs) and type-level programming. Weirich’s research bridges the gap between theoretical foundations and real-world software engineering, enabling safer and more robust code. Her most-cited paper, "Verified ROS-Based Deployment of Platform-Independent Control Systems" (2015, 12 citations), exemplifies her impact by demonstrating how formal methods can be applied to verify robotic control systems, ensuring correctness across different platforms. Beyond this, her work on type-safe programming and proof assistants has influenced both academic research and industrial practice, with her papers collectively garnering thousands of citations. Weirich is also recognized for her leadership in the programming languages community, including serving as a program chair for top conferences and mentoring the next generation of researchers. Her blend of theoretical depth and practical innovation makes her a pivotal figure in modern type theory and verification.