Name:Ningning Xie

Country:Canada

Affiliation:University of Toronto

Research interests:Functional programming, type systems, logics, as well as their applications in the broader domains (e.g. compilers, code generation, and machine learning).