portrait.
Ningning Xie

Department of Computer Science
University of Hong Kong

Email: nnxie at cs.hku.hk

Github Twitter

About

I am a Ph.D. student in the Programming Language Group at HKU, advised by Prof. Bruno Oliveira. Before that, I obtained my B.S. (with Honors) from Zhejiang Unversity.
I had the pleasure to work with Richard Eisenberg over Summer 2018, and Tom Schrijvers over Spring 2018.
I spent my Summer 2019 with the Google Search Team in New York City.
I am currently working with Daan Leijen at Microsoft Research, Redmond.

News


Publications

Talks

Extended Abstract

Talks

Service

Teaching