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 12
- 2027
- Yu To Sang Memorial Scholarship
- 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
Heterogenous Scala, Group Philipp Haller
- Exploring a heterogeneous programming model in Scala that allows ordinary programs to span host and GPU execution while preserving a Scala-idiomatic and unified programming abstraction.
- Building an extension with additional compiler phases for Scala’s Dotty compiler to lower annotated Scala functions to SPIR-V for GPU execution, and a program that assembles SPIR-V-as-Scala classes into binary form.
- Exploring the feasibility of using capture tracking for enclosing host state and external host-device interactions, as well as CPS transformations and trampolining for function calls.
Hong Kong
Research Assistant
The Chinese University of Hong Kong
Modular Reasoning with Specifications for AI Code Agents, supervised by Prof. Lauren Pick
- Collaborating with a research team to explore large language models (LLMs) for modular reasoning and maximal specification synthesis to assist agentic code generation.
- Modified Dafny’s compiler to support outputting function contracts and invariants when cross-compiling to other languages.
- Designed and implemented an evaluation pipeline for assessing LLM-generated code on the DafnyBench dataset, incorporating an additional agentic loop to generate formal specifications and use them to guide subsequent code generation.
@an5on.com:~/current-status.md
