I am a B.Sc. Computer Science student at The Chinese University of Hong Kong, driven by a deep interest in Programming Languages, particularly Type Systems and Language Features.

I am currently undertaking research under the supervision of Prof. Lauren Pick on the Autoformalisation of Programming Language Theorems as my Bachelor's thesis, whilst also collaborating on a project focused on specification generation to support agent-driven code synthesis.

During an academic exchange at KTH Royal Institute of Technology, I joined the HScala research group under Prof. Philipp Haller. Our current work involves designing a type system for heterogeneous Scala programming across native CPU and GPU runtimes, along with developing the initial compiler prototype.