Andong Fan
I am an MPhil student in Dr. Lionel Parreaux's TACO Lab at HKUST CSE. My research interest lies in programming languages and type systems. I have been working on modular programming in a blend of object-oriented and functional styles and type inference for first-class polymorphism for my MPhil.
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)
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
The University of Hong Kong
Feb. 2021 - Mar. 2022 | Hong Kong, China
Research Intern at the HKU PL Group
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, PLDI 2024
Student Volunteer
SPLASH 2022, ECOOP 2023
Teaching Assistant
Principles of Programming Languages, HKUST, Fall 2023.
Programming Principles, Zhejiang University, Fall 2021.