03 Curriculum vitae
Foo Yong Qi.
Instructor & PhD candidate in Computer Science
National University of Singapore
knockknock@yongqi.foo
Education
PhD in Computer Science
Aug 2023 – presentNational University of Singapore
Advisor: Michael D. Adams
MSc in Computer Science (by Research)
Jan 2021 – Jun 2023National University of Singapore
Advisor: Khoo Siau Cheng
BEng (Hons) in Industrial & Systems Engineering
Aug 2017 – Dec 2020National University of Singapore
Advisor: Andrew Lim
Appointments
Instructor
Jan 2023 – presentNational University of Singapore
Course coordinator and lecturer for IT5001, IT5100A, IT5100B, and IT5100E.
Teaching Assistant
Aug 2018 – Dec 2022National University of Singapore
Lecturer for IT5001; tutor for CS1010E, CS2030, CS2030S, IT5001, IT5003, and IT5004.
PWA Developer
Aug 2019 – Aug 2020National University of Singapore
Developed a Nuxt.js progressive web application for the NUS Smart Dining initiative.
Business Development
May 2018 – Jul 2020Sqkii
Pitched projects to prospective clients.
Co-founder & President
Apr 2018 – Apr 2020Uncage
Liaised with NGOs and official partners. The organization is no longer in service.
Recognition
ACM Student Research Competition Grand Finals Candidate
May 2026ACM
First Prize, Student Research Competition
Oct 2025ICFP 2025
Fixed-Point-Oriented Programming with Orders
Faculty Teaching Excellence Award
Feb 2025National University of Singapore
Second Place, Student Research Competition
Nov 2023APLAS 2023 · Academia Sinica, Taiwan
Full-Time Teaching Assistant Award
May 2022National University of Singapore
Honour List of Student Tutors
May 2021 · May 2019National University of Singapore
Dean’s List
Jan 2019National University of Singapore
3AMB Base Sergeant Major’s Coin
Nov 2016Singapore Armed Forces
Letter of Commendation
Oct 2016Singapore Armed Forces
3AMB Commanding Officer’s Coin
Sep 2016Singapore Armed Forces
SCS L Coy Platoon Best Soldier
Sep 2015Singapore Armed Forces
BMTC 2 Coy Platoon Best Recruit
Jul 2015Singapore Armed Forces
Projects
Optimization Tactics
OngoingNUS · Michael D. Adams
A Lean 4 library for user-defined, correctness-preserving program optimizations.
Fixed-Point-Oriented Programming
OngoingNUS · Michael D. Adams
Developing a programming language for fixed-point algorithms with user-specified optimization strategies.
Optimizing Rank-2 Polymorphic Functions
OOPSLA 2026NUS · Michael D. Adams
A compiler optimization technique for specializing recursive rank-2 polymorphic functions.
Compiling Incomplete Java Programs with Generics
Jan 2021 – Jun 2023NUS · Khoo Siau Cheng
Developed JavaCIP, a prototype for reconstructing and compiling incomplete Java programs in a type-safe manner.
Regional Multi-Person Pose Estimation
Aug 2020 – Dec 2020NUS · Andrew Lim
Combined AlphaPose with a novel LSTM network for action recognition in basketball analysis.
Fedora-SoC
Aug 2020 – Dec 2020NUS · Henry Chia
Developed a Fedora Linux fork for NUS School of Computing exam-takers during the COVID-19 pandemic.
NUS Smart Dining
Aug 2019 – May 2020National University of Singapore
Used the MMDetection computer vision framework to recognize drinks orders from a top-down camera at Frontier Food Court.
Live Firing Systems Optimization
Feb 2017Singapore Armed Forces
Developed a scheduling system for the Multi-Mission Range Complex, resulting in S$75,000 in annual cost savings.
Skills & languages
Programming
Haskell, Lean, ML, Scala, Java, Python, C/C++, Rust, Go, JavaScript, TypeScript, R.
Development & tools
Solid, Vue, Nuxt, React, Quasar, Node.js, Firebase, PyTorch, OpenCV, Google Cloud Platform, HTML, CSS, LaTeX, Markdown.
Languages
English and Mandarin.
Other software
Microsoft Office, Tableau, Stella Architect, AutoMod Simulation.