Xu Xue {Xu is my given name}

I’m a MPhil student at The University of Hong Kong, and a member of HKU Programming Languages Group. My current research is about type inference on type system with intersection types, advised by Bruno C. d. S. Oliveira.

Previously, I got my Bachelor’s degree at Nankai University in 2020 and was a intern at Ubisoft China and Lilith Games.

I have some experience about Lisp and Emacs.


Email: xxue at cs.hku.hk

Social Media: Bookmark - Github - Linkedin - Instagram - Stack Overflow