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

[CV]

About

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.

News

  • 2024 May PLMW@ICFP'24 is accepting applications!

  • 2024 May Two papers conditionally accepted at ICFP 2024.

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

  • 2023 Nov New talk accepted at LAFI 2024.

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


Publications

Workshop talks (without proceedings)

Dissertation

Service