Hi! I am a Software Engineer at Pi Squared Inc., where I develop and implement the backend architecture for various core infrastructure projects focused on universal liquidity and cross-chain interoperability.
Throughout my tenure, I have served as the Tech Lead for two mission-critical initiatives:
- Math Proof Generation (MPG): I led the team building backend components responsible for generating machine-checkable proofs of program executions, leveraging ZK technology to ensure computational integrity.
- Verifiable Settlement Layer (VSL): I headed the integration of VSL with AI clients to enable trustless, verifiable payments between heterogeneous agents.
Before joining Pi Squared, I worked as a formal verification engineer at Runtime Verification Inc. (2022-2024), where I developed and contributed to several security testing and formal verification tools, including ERCx and Kontrol. I also lectured on mathematics and statistics at Temasek Polytechnic (2014-2018).
As for my education, I hold a B.Sc. in Mathematics from the National University of Singapore (2014) and a Ph.D. in Engineering Systems and Design from the Singapore University of Technology and Design (2022).
Research Interests
- Blockchain: Blockchain applications - Formal verification of blockchain
- Theorem Prover: Formalization and verification of mathematics, programs and protocols - Automated reasoning tools on proof assistants
- Others: Mathematical logic - Type theory - Category theory - Program synthesis - Artificial intelligence