->Download full CV<-

Experience

  • Technical Product Lead (Jul 2025 - Present)
    Software Engineer (Aug 2024 - Jul 2025)
    Pi Squared Inc.
    • [As Technical Product Lead] Responsible for the technical leadership and execution of products across their lifecycle, ensuring architectural soundness, scalability, and reliable delivery. Acted as the bridge between product requirements and engineering execution, aligning technical decisions with long-term product goals.
    • [As Software Engineer] Tech Lead for a project integrating Verifiable Settlement Layer (VSL) with AI clients and service providers, enabling fast payments and verifiable settlements between heterogeneous agents.
    • [As Software Engineer] Tech lead of the Math Proof Generation (MPG) team, where we develop components that produce machine-checkable proofs of program executions, enhancing blockchain interoperability using zero-knowledge (ZK) technology.

  • Formal Verification Engineer (Sep 2022 - Aug 2024)
    Runtime Verification Inc.
    Tech lead and core developer of ERCx, a tool suite that checks for conformance to ERC (Ethereum Request for Comments) standards and important security properties of a smart contract in the Ethereum ecosystem through the use of the Foundry testing framework

  • Data Science Intern (Jul 2019 - Sep 2019)
    Entend.ai
    Translate mathematical models for machine reasoning into software and to build applications based on the software

  • Lecturer (Jul 2014 - Aug 2018)
    Temasek Polytechnic
    Subject leader and lecturer for the following courses:
    • Mathematics for Applied Science
    • Statistics for Applied Science
    • Biostatistics
    • Scripting for Bioinformatics

Education

Honours and Awards

  • Global Young Scientist Summit 2020
  • Singapore University of Design and Technology (SUTD) Ph.D. Fellowship (2018 - 2022)

Courses Attended

Pedagogy Courses

Publications and Projects

Please refer to the “RESEARCH” tab.