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.
Education
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%).
Publications
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)
Experiences
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.
Projects
fiplus
Coq formalization of $\mathsf{F}_{i}^+$ [repo]
Skills
Programming Languages
C, C++, Java, JavaScript, Swift, Python, Bash Scripts, SQL, RISC-V Assembly
Tools
git, LaTeX, Coq Proof Assistant