Department of Computer Science and Technology University of Cambridge
Ningning Xie is a research associate at University of Cambridge. Her research interests are in the field of programming languages, focusing on functional programming and type theory. During her Ph.D study, Ningning had research visits at Microsoft Research Redmond and DeepMind London. Her research has been recognized by ACM SIGPLAN Distinguished Paper awards at the Symposium on Principles of Programming Languages (POPL 2020) and the Conference on Programming Language Design and Implementation (PLDI 2021).