Snow Xuejing Huang

I am a postdoctoral researcher in IRIF, under the MathInGreaterParis Fellowship Programme. From 2017 to 2023, I was in the HKUPL Group from The University of Hong Kong, advised by Dr. Bruno C. d. S. Oliveira. I do research about type systems of programming languages. My thesis is about intersection type, union type, and the merge operator.

After spending years on the western part of Hong Kong Island (photos), I moved to a small village house in the New Territories with my boyfriend (now my husband), Bingchen Gong. Our nights are occasionally filled with BBQs and hotpots, and recently, we’ve been playing host to our neighbor’s cat. During my leisure hours, I find joy in cycling along the Shing Mun River and Tolo Harbour, or simply floating in the sea at Tai Mei Tuk. We are now enjoying our life in Paris!

Feel free to drop me an email. You may also find me on X(Twitter), Instagram or Facebook.