Resume

Work experience, education, projects, and achievements.

For a PDF copy, please get in touch.

Full Academic Record

Work Experience

C++ Software Engineering Intern

Jun – Aug 2025

Hudson River Trading

  • Used Python bindings for Clang API to achieve static reflection of C++ message structs, exporting type information into a database for use in subsequent projects.
  • Architected and implemented an automatic codec generator based on reflection information, enabling engineers to generate optimized stateful codecs for several thousand message structures via metaprogramming. The codecs efficiently compress data sent over low-bandwidth microwave links.
  • Wrote a monitoring tool to ensure correctness of live codec deployments, including programmatically generated fuzzy matching logic based on message structure type information.

Embedded Systems Intern

Jun – Aug 2024

Centre for Strategic Infocomm Technologies (CSIT)

  • Investigated emulation of different USB device classes using different microcontrollers, particularly USB mass storage class and USB Media Transfer Protocol.
  • Programmed RP2040 Plus and ESP32-S3 via various technology stacks including Arduino and low-level C++.

Cybersecurity Intern

Nov 2019 – Jan 2020

Defence Science and Technology Agency (DSTA)

  • Joined the Cybersecurity Programme Centre. Worked on hardware vulnerability analysis of routers using hardware debugging interfaces such as UART, SPI, and JTAG.

Student Researcher (R@YDSP)

Sep – Dec 2018

DSO National Laboratories

  • Experimented with the grammar-based generative fuzzer Domato, introducing a new grammar to fuzz XSLT processors.
  • Performed web scraping and analysed online resources with regular expressions to find esoteric vocabulary to improve existing grammars.

Education

MCompSci Computer Science

2022 – Present

University of Oxford

  • Hoare Prize for Top Overall Computer Science Student in Part A/B (Year 3)
  • First Class Honours (Year 2), Distinction (Year 1)
  • Distinction in Practical Work across all three years

Singapore-Cambridge GCE A Levels

2015 – 2020

Temasek Junior College (Integrated Programme)

  • 4 As in H2 Chemistry, Mathematics, Physics and Economics; Distinction in H3 Mathematics
  • Top in cohort for Chemistry and Physics for 6 consecutive years (2015–2020)
  • DSTA JC Scholarship, YDSP Scholarship, SAF Young Leader Award

Projects

4th Year Project: Symbolic Verification of CSGs

University of Oxford · 2025–2026

Developed novel symbolic algorithms for constructing and verifying concurrent stochastic games (CSGs) against two-coalition zero-sum properties. Addressed the key challenge of computing minimax values via a fully symbolic algorithm based on discounted regret matching and a hybrid approach using linear programming. Implemented in the PRISM-games tool, demonstrating significant memory improvements over existing explicit-state methods.

3rd Year Project: Symbolic Indexing for rSTE

University of Oxford · 2024–2025

Formal verification project to extend the effectiveness of the relational Symbolic Trajectory Evaluation model checking algorithm via symbolic indexing transformations. Involves reinventing theory to improve the usability of the algorithm and its implementation in Jasper.

View Report

Binary Decision Diagrams Engine

Personal Project

A modern C++ implementation of reduced-ordered binary decision diagrams for representing propositional logic formulae. Features a REPL for user interaction, node sharing, and garbage collection.

GitHub

Y86 Assembler & CPU Simulator

Personal Project

A Rust implementation of an assembler and instruction-level CPU simulator for the Y86 educational instruction-set architecture described in Computer Systems: A Programmer's Perspective.

GitHub

Competitive Programming & Achievements

Achievement Result
Codeforces Online Judge Max Rating 2100+ (Candidate Master)
Kattis Online Judge Top 55 globally (as of Jul 2024)
The UK & Ireland Programming Contest (UKIEPC) 8th (2025), 16th (2024), 20th (2022)
National Olympiad in Informatics (NOI) Silver (2019, 2020), Bronze (2018)
Singapore Junior Chemistry Olympiad 1st Place Overall, 8th in Theory, Top Practical, Gold (2018)
Hoare Prize Top Overall Computer Science Student, Oxford (2025)