->Download full CV<-
Experience
- Head of Product and Technology (Jul 2025 - Present)
Software Engineer (Aug 2024 - Jul 2025)
Pi Squared Inc.- [As Head of Product and Technology] Responsible for the strategic vision and execution of a product throughout its entire lifecycle. They bridge the gap between business, technology, and user experience, ensuring the product meets customer needs while driving revenue generating adoption of our protocol and products.
- [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
-
Ph.D. Engineering Systems and Design (2018 - 2022)
Singapore University of Technology and Design (SUTD)
Advisor: Georgios Piliouras, Shaowei Lin and Barnabé Monnot
Thesis: Incentivized Mechanism Design for Collaborative Proofs and Programs through Theorem Provers and Blockchain -
B.Sc. Mathematics (2010 - 2014)
National University of Singapore (NUS)
Class: Second Class Honours (Upper/Distinction)
Advisor: Yang Yue
Honours’ Year Project: “Decidability of the First Order Theory of Boolean Algebra” by Tarski, A.
Honours and Awards
- Global Young Scientist Summit 2020
- Singapore University of Design and Technology (SUTD) Ph.D. Fellowship (2018 - 2022)
Courses Attended
-
Secureum Bootcamp Epoch 0 (Dec 2021)
Rajeev Gopalakrishna
Secureum -
Ethereum Blockchain Developer Bootcamp With Solidity (2021) (Nov 2021)
Ravinder Deol, Thomas Wiesner and Martin Sterlicchi
Udemy -
Structural Equation Modelling Workshop Using Stata (Dec 2017)
Chan Yiong Huak
National University Health System (NUHS) -
R Bioconductor Training for Bioinformatics (Dec 2016)
Alfred Ang
Tertiary Infotech Pte Ltd -
Biostatistics for Research (Advanced) Workshop (Dec 2016)
Chan Yiong Huak
Singapore General Hospital Postgraduate Allied Health Institute (SGH PGAHI) -
Biostatistics for Research (Basic/Intermediate) Workshop (Oct 2016)
Chan Yiong Huak
Singapore General Hospital Postgraduate Allied Health Institute (SGH PGAHI) -
Data Analytics in Healthcare Course (Nov 2014)
K C Lun
Gateway Consulting Singapore
Pedagogy Courses
-
Teaching Certificate Course for Graduate Teaching Assistants (Oct 2018)
Nachamma Sockalingam
Singapore University of Technology and Design (SUTD) -
Teaching in Higher Education Certificate (THEC) (Sep 2015)
Temasek Polytechnic
Publications and Projects
Please refer to the “RESEARCH” tab.