->Download full CV<-

Experience

  • Research Scientist (Apr 2026 - Present)
    Beneficial AI Foundation
    • Conduct research at the intersection of AI safety, formal verification, automated reasoning, and mathematics.
    • Work on trustworthy reasoning systems and the use of formal methods to improve the reliability and safety of advanced AI systems.
  • Software Engineer (Aug 2024 - Present, part-time since Apr 2026)
    Fast (formerly Pi Squared Inc.)
    • Develop web3 payment infrastructure for agentic payments through verifiable systems, universal liquidity, and cross-chain interoperability.
    • 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.
    • Tech Lead of the Math Proof Generation (MPG) team, developing components that produce machine-checkable proofs of program executions and enhance 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.