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 contestant on the hku cp team, I actively take part in cp contests. Starting with the 2026–2027 season, I serve as the coach of the hku cp team. Students interested in cp are welcome to visit our homepage for more information. For any inquiries, please email provinci [æt] cs.hku.hk.

For further details, please refer to my curriculum vitæ.