Andong Fan
I am an MPhil student of TACO Lab at HKUST. My research interest lies in programming language design and especially type systems for practical programming scenerios. I am working on extensible object-oriented programming for my MPhil.
When Subtyping Constraints Liberate
Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau
POPL 2024 (to appear)
super-charging Object-Oriented Programming through Precise Typing of Open Recursion
Andong Fan, Lionel Parreaux
ECOOP 2023 Distinguished artifact.
Simple Extensible Programming Through Precisely-Typed Open Recursion
Andong Fan
A Calculus with Recursive Types, Record Concatenation and Subtyping
Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan
Direct Foundations for Compositional Programming
Andong Fan*, Xuejing Huang*, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira (*equal contributions)
The Hong Kong University of Science and Technology
Sept. 2022 - 2024 (expected) | Hong Kong S.A.R., China
MPhil in Computer Science and Engineering
GPA: 3.93/4.3. Adviser: Lionel Parreaux.
Zhejiang University
Sept. 2018 - June 2022 | Hangzhou, China
BEng in Computer Science and Technology
GPA: 3.95/4, 90.16/100. Outstanding graduate (top 5%).
The University of Hong Kong
Feb. 2021 - Mar. 2022 | Hong Kong S.A.R., China
Research Intern at the HKU PL Group
Adviser: Bruno Oliveira.
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. [repo]
Coq formalization of $\mathsf{F}_{i}^+$ [repo]
Artifact Evaluation
POPL 2024
Student Volunteer
SPLASH 2022, ECOOP 2023
Teaching Assistant
Principles of Programming Languages, HKUST, Fall 2023.
Programming Principles, Zhejiang University, Fall 2021.