Education

Ph.D. in Computer Science
Aug 2023 to Present
National University of Singapore
Advisor: Asst. Prof. Michael D. ADAMS

M.Sc. in Computer Science (by Research)
Jan 2021 to Jun 2023
National University of Singapore
Advisor: Assoc. Prof. KHOO Siau Cheng

B.Eng. (Hons) in Industrial & Systems Engineering
Aug 2017 to Dec 2020
National University of Singapore
Advisor: Prof. Andrew LIM

Projects

Optimization Tactics (Functional Pearl)
Ongoing
National University of Singapore
Advisor: Asst. Prof. Michael D. ADAMS
Developing a Lean 4 library for allowing users to specify their own optimizations

A Fixed-Point-Oriented Programming Language with User-Specified Optimization Strategies
Ongoing
National University of Singapore
Advisor: Asst. Prof. Michael D. ADAMS
Developing a new programming language for easily specifying fixed-point algorithms

Optimizing Rank-2 Polymorphic Functions
Ongoing
National University of Singapore
Advisor: Asst. Prof. Michael D. ADAMS
Proposed a novel optimization pass to induce speedups on programs containing uses of rank-2 polymorphic functions

Compiling & Detecting Type Errors in Incomplete Java Programs with Generics
Jan 2021 to Jun 2023
National University of Singapore
Advisor: Assoc. Prof. KHOO Siau Cheng
Proposed a novel technique that compiles incomplete Java programs in a type-safe manner and developed a prototype of this algorithm, JavaCIP

Regional Multi-Person Pose Estimation for Sports Analytics
Aug 2020 to Dec 2020
National University of Singapore
Advisor: Prof. Andrew LIM
Used AlphaPose and a novel LSTM network for Action Recognition in Basketball analysis

Fedora-SoC
Aug 2020 to Dec 2020
National University of Singapore
Advisor: Dr. Henry CHIA
Developed a fork of Fedora (Linux Workstation) for exam-takers in NUS SoC during COVID-19 pandemic

NUS Smart Dining
Aug 2019 to May 2020
National University of Singapore
Used mmdetection computer vision framework to recognize orders from top-down camera view at Frontier Food Court’s Drink Stall

Live Firing Systems Optimization
Feb 2017
Singapore Armed Forces
Developed Live Firing scheduling system for use in the Multi-Mission Range Complex (MMRC), resulting in S$75,000 annual cost savings