I am an incoming doctoral student in the Programming Languages Group (plg) at the University of Hong Kong (hku), supervised by Prof Bruno Oliveira. My research interests primarily focus on programming languages and type systems.
I am also an avid participant in competitive programming (cp). As a member of Provinci, the cp team of hku, I actively participate in icpc regional and continental contests alongside my skilled teammates.
For further details, please refer to my curriculum vitæ.