Andong Fan
I am Andong Fan, an MPhil student of TACO Lab at HKUST. My research interest lies in programming language design and especially type systems. I am working on modular and extensible programming for my MPhil. I received my BEng degree in Computer Science and Technology from Zhejiang University.
The Hong Kong University of Science and Technology
Sept. 2022 - 2024 (expected) | Hong Kong S.A.R., China
MPhil in Computer Science and Engineering
Supervisor: 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%).
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
APLAS 2022 [paper]
Direct Foundations for Compositional Programming
Andong Fan*, Xuejing Huang*, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira (*equal contributions)
Research Intern
Feb. 2021 - Mar. 2022 | HKU Programming Language Group
Worked on designing a call-by-name calculus $\mathsf{F}_i^+$ with intersection types, a merge operator, disjoint polymorphism, and a Type-Directed Operational Semantics (TDOS).
Supercomputing Contest Team Member
July 2019 - June 2021 | Zhejiang University
Practiced high performance program optimization skills including program logic, compilation, MPI configuration and cluster communication.
Tech Lead of QSC Mobile iOS
June 2019 - PRESENT | Zhejiang University
Leading the iOS team in the development of QSC Mobile, the most popular campus app at Zhejiang University with more than 9,000 weekly active users.
Coq formalization of $\mathsf{F}_{i}^+$ [repo]
Programming Languages
C, C++, Java, JavaScript, Swift, Python, Bash Scripts, SQL, RISC-V Assembly
git, LaTeX, Coq Proof Assistant