Ningning Xie

Ningning Xie is an Assistant Professor in the Department of Computer Science at the University of Toronto, with a part-time role as a Research Scientist at Google DeepMind and a Faculty Affiliate at the Schwartz Reisman Institute. Her research focuses on programming languages, particularly functional programming, type systems, and logics, with applications in broader domains.

• Ph.D. from the University of Hong Kong
• B.S. from Zhejiang University

Her work explores foundational and applied aspects of programming languages, including:

• Multi-stage programming and staging techniques
• Type systems and type inference
• Algebraic effect handlers and concurrency
• Compiler design and optimization

Recent publications highlight advancements in type inference, effect handlers, and parallel computing. She actively contributes to academic service as a program chair and committee member for conferences like PEPM, Haskell, and POPL.

• ACM SIGPLAN Distinguished Paper Award (ICFP'25, PLDI'25, PLDI'21)
• Cambridge Hall of Fame Awards: Publication of the Year

As a mentor, she seeks motivated students for her research group. Her affiliations with Google DeepMind and Schwartz Reisman Institute facilitate interdisciplinary collaboration.