Andong Fan
范安东
I am an MPhil student in Dr. Lionel Parreaux's TACO Lab at HKUST CSE. 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.
Publications
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism
Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau
super-charging Object-Oriented Programming through Precise Typing of Open Recursion
Andong Fan, Lionel Parreaux
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)
Background
The Hong Kong University of Science and Technology
Sept. 2022 - Aug. 2024 (expected) | Hong Kong, China
MPhil in Computer Science and Engineering
Advisor: 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, China
Research Intern at the HKU PL Group
Projects
MLscript
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. [repo]
fiplus
Coq formalization of $\mathsf{F}_{i}^+$ [repo]
Service
Artifact Evaluation
POPL 2024, PLDI 2024
Subreview
SPLASH 2022 SRC
Student Volunteer
SPLASH 2022, ECOOP 2023
Teaching Assistant
Principles of Programming Languages, HKUST, Fall 2023.
Programming Principles, Zhejiang University, Fall 2021.