Stephanie Weirich

Digital Library

ACM Fellows

USA - 2025

citation

For contributions to static type systems and mechanized mathematics of programming languages.

Press Release