AN5ON
Hello, I'm Anson.
Nothing more than an ordinary human.
I am a B.Sc. in 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 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 my academic exchange at KTH Royal Institute of Technology, I joined the HScala research group under Prof. Philipp Haller. Our research focuses on designing a type system for heterogeneous Scala execution across native CPU and SPIR-V-targeted GPU runtimes using Capture Tracking, as well as developing the initial compiler prototype.
@an5on.com:~/intro.md
A recent random photo taken at gym.
@an5on.com:~/portrait.png
A close-up of a bar counter taken at Darkside, Hong Kong, featuring two cups of Hong Kong-themed cocktails.
The Media City Bridge in Manchester, England, captured during a trip in January 2025.
One of the first attempts to import RAW files into Lightroom.
Still the best place I have ever visited.
@an5on.com:~/polaroids
Current Status
What am I doing currently?
Hong Kong
Bachelor of Science in Computer Science
The Chinese University of Hong Kong
- Dean's List Recipient | 2023 - 2024
- Dean's List Recipient | 2024 - 2025
scholarships 11
- 2026
- Yu To Sang Memorial Scholarship
- Fung Ying Seen Koon Scholarship
- 2025
- CW Chu College Scholarship for Education
- The KY Young & CK Ma Memorial Scholarship
- Yu To Sang Memorial Scholarship
- Chiang Chen Overseas Exchange Scholarship
- 2024
- Scholarship Scheme for ELITE Stream Students
- Woo Sau Wing Scholarships
- Professor Omar Wing Memorial Scholarship
- 2023
- CUHK Admission Scholarship
- Dean's Award
Stockholm, Sweden
Summer Internship
KTH Royal Institute of Technology
Group HScala
- Developing a compiler to translate Scala into SPIR-V assembly for native, hardware-level GPU execution.
- Designing a safe, sound type system tailored for homogeneous programming using Capture Tracking, with Scala as an initial test bed.
Hong Kong
Research Assistant
The Chinese University of Hong Kong
Supervised by Dr. Lauren Pick
- Collaborating with a research team to explore Large Language Models for modular reasoning and maximal specification synthesis to assist agentic code generation.
- Developing an agentic workflow with MiniSWEAgent in Python for evaluating the effectiveness of LLM-generated code with prompted formal specifications against the DafnyBench dataset.
@an5on.com:~/current-status.md
