Bio

I am a 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æ.

Starting from the 2026–2027 season, I am serving as the ICPC Team Coach at HKU. For students interested in participating in ICPC, please visit our homepage for more information.