I am a first-year masters student studying the Parisian Master of Research in Computer Science (MPRI) at École Polytechnique. My research interests lie in logic, verified proofs, and proof assistants (such as Coq).
Previously, I obtained my Bachelor’s Degrees in Mathematics and Computer Science at the National University of Singapore. I wrote my thesis on the formalization of Coq Modules in the MetaCoq project, co-supervised by Nicolas Tabareau, Martin Henz, and Yue Yang. I was also part of the University Scholars Programme, the honors college of NUS.
News
- 10-14 June 2024: I am attending TYPES 2024 in Copenhagen.
- 3 June 2024: I gave a talk on the guard checker of Coq at the RECIPROG workshop.
- 1 May 2024: I started doing an M1 internship with Yannick Forster in the Cambium team, in Inria Paris. We will be working towards a formalisation of the Guard Checker of Coq.
- In September 2023, I started my Masters in the Parisian Master of Research in Computer Science (MPRI), at the École Polytechnique.
- In May 2023, I have graduated from the National University of Singapore (NUS)! I obtained two Bachelor’s degrees: one in Mathematics, and another in Computer Science.
Publications
- Martin Henz, Thomas Tan, Zachary Chua, Peter Jung, Yee-Jian Tan, Xinyi Zhang, and Jingjing Zhao, 2021. A Stepper for a Functional JavaScript Sublanguage. Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, October 2021, pp. 71–81.
Talks
- Towards Formalizing the Guard Condition of Coq, 3 June 2024
Invited talk at Workshop on the guard condition of Coq, RECIPROG.
Joint work with Yannick Forster.
Thesis
Formalizing Coq Modules in the MetaCoq Project (PDF)
Bachelor’s Thesis, National University of Singapore, 2023.
CV
2023: B.Comp (Hons) Computer Science, National University of Singapore.
Focus area: Algorithms and Theory
2023: B.Sc (Hons) Mathematics, National University of Singapore.
Focus areas: Logic, Abstract Algebra
Click here for a full CV.