Scholar
Ningning Xie
Google Scholar ID: 6DD_vkAAAAAJ
University of Toronto
Citations & Impact
Citations
365
H-index
13
i10-index
14
Publications
20
Co-authors
27
list available
Publications
Resume (English only)
Academic Achievements
- Published multiple papers at conferences such as ICFP'25, PLDI'25, and received Distinguished Paper Awards. Involved in organizing various academic conferences like HOPE'25, PEPM'26, Haskell'25, etc.
Research Experience
- Current part-time Research Scientist at Google DeepMind; Former Research Associate at the University of Cambridge.
Education
- Ph.D. from the University of Hong Kong; B.S. from Zhejiang University.
Background
- Research interests: programming languages, particularly functional programming, type systems, logics, and their applications in broader domains. Brief introduction: Assistant Professor in the Department of Computer Science at the University of Toronto.
Miscellany
- Serves as the Publicity Chair for POPL'26; Co-organizes PLMW@ICFP/SPLASH'25.
