Snow Xuejing Huang

I am a fresh PhD graduate 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, 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.

Feel free to drop me an email. You may also find me on Instagram or facebook.