I am a PhD candidate at the University of Hong Kong under the supervision of Prof. Bruno C. d. S. Oliveira.
My research revolves around programming languages, especially focusing on type systems reconciling object-oriented and functional programming.
I received my Bachelor's degree from Chu Kochen Honors College of Zhejiang University in 2019.
I was an exchange student at Tokyo Institute of Technology under the supervision of Prof. Hidehiko Masuhara in 2017.
During my undergraduate years, I was the founder of ZJU Apple Club.
I led the development of Qiushichao Mobile for iOS, which has been the most popular campus app at Zhejiang University.
My Chinese name is 孫 耀珠.
For your information, it is read as そん ようじゅ in Japanese or 손 요주 in Korean, both of which can be romanized as Son Yoju.
If you find Chinese romanization hard to read, feel free to pronounce my name in Japanese or Korean style.
University of Hong Kong
» Programming Languages Group
Doing research on the theory, design, implementation, and application of Compositional Programming, a new modular programming paradigm that solves challenges such as a three-dimensional Expression Problem.
An online demo is available at PLGround.
Doing research on the encoding of labeled and optional arguments in a minimal calculus.
Named Arguments as Records (Draft)
Yaozhu Sun and Bruno C. d. S. Oliveira.
Presented at the International Symposium on Trends in Functional Programming, March 2022.
Microsoft Research Asia
» Machine Learning Group » Research Intern
April 2019 – July 2019
Huawei 2012 Labs
» Compilers and Programming Languages Lab » Software Development Intern
July 2018 – August 2018
Distinguished Artifact Award,
European Conference on Object-Oriented Programming,
ASC Student Supercomputer Challenge,
Mobile Application Innovation Contest,
China Collegiate Computing Contest, September 2016.
Bronze Award ,
Parallel Application Challenge,
China, November 2015.
First Prize ,
National Olympiad in Informatics in Provinces,
China, December 2012.
- Advanced Database Systems (COMP7104), University of Hong Kong, Autumn 2022.
- Principles of Programming Languages (COMP3259), University of Hong Kong, Spring 2022.
- Design and Analysis of Algorithms (COMP3250A), University of Hong Kong, Spring 2021.
- Programming Principle (21190650), Zhejiang University, Autumn 2018.