Hi! I am a Research Scientist at Beneficial AI Foundation, where I work on AI safety, formal verification, automated reasoning, and mathematics. I also work part-time at Fast (formerly Pi Squared Inc.), where I contribute to web3 payment infrastructure for agentic payments, built on verifiable systems, universal liquidity, and cross-chain interoperability.
Previously, 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. In 2024, I joined Pi Squared Inc. (now Fast), where I worked on backend infrastructure for verifiable systems and agentic payments, and I continue to contribute there on a part-time basis. Earlier in my career, I 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
- AI Safety and Automated Reasoning: trustworthy AI, mathematical reasoning, and the use of formal methods to improve reliability and alignment
- Formal Verification and Theorem Proving: formalization and verification of mathematics, programs, and protocols; automated reasoning tools for proof assistants
- Blockchain and Verifiable Systems: blockchain applications, formal verification of blockchain systems, and verifiable computation
- Other Interests: mathematical logic, type theory, category theory, program synthesis, and artificial intelligence
Personal Interests
- Track and Field: I previously trained in sprint events, especially the 100m and 200m, and I still enjoy doing track and gym work leisurely in my free time.
- Sports: I enjoy watching sports, especially football (EPL), basketball (NBA), and the Olympics.
- Anime: I enjoy watching anime; one of my all-time favourites is Hunter × Hunter.
- Reading: I enjoy reading mathematics books.