Ningning Xie

Assistant Professor
Department of Computer Science
University of Toronto
Research Scientist
Google DeepMind

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



I am an Assistant Professor 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.


  • 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.

  • 2023 April Gave an invited talk at the Berkeley Programming Systems Seminar.

  • 2023 Feb New paper accepted at PLDI 2023.


Workshop talks