Ningning Xie

Assistant Professor
Department of Computer Science
University of Toronto
Research Scientist, Google DeepMind
Faculty Affiliate, Schwartz Reisman Institute

Office: BA 3256
Email: ningningxie at cs.toronto.edu



I am an Assistant Professor in the Programming Languages and Software Engineering group in the Department of Computer Science at the University of Toronto.
I also work as a Research Scientist at Google DeepMind.
My research focuses on programming languages, in particular functional programming, type systems, logics, as well as their applications in the broader domains (e.g. compilers, code generation, and machine learning).

Prospective students: I'm actively looking for self-motivated students to join me at UofT. Please take a look at this link.


  • 2024 Feb flap has been nominated for 'Publication of the Year' for the Cambridge Hall of Fame Awards!

  • 2023 Dec PLDI'24 Artifact Evaluation Committee is calling for nominations. Please nominate yourself!

  • 2023 Nov New talk accepted at LAFI 2024.

  • 2023 Sept Gave an invited keynote at the Haskell Symposium.

  • 2023 July New talk accepted at OCaml 2023.

  • 2023 July New paper accepted at TyDe 2023.

  • 2023 June New paper accepted at ICFP 2023.


Workshop talks (without proceedings)