Hi! I am the Head of Product and Technology at Pi Squared Inc.. I am 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. I am still involved in implementing and overseeing the technical aspects of the products in the company.

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

News!

08 Jul 25 I have been promoted to the Head of Product and Technology at Pi Squared Inc..
01 Aug 24 I have joined Pi Squared Inc. as a software engineer.
24 Oct 23 I gave a tutorial on “The K Framework: A tool kit for language semantics and verification” at AVTA 2023.
01 Sep 22 I have joined Runtime Verification Inc as a formal verification engineer.
17 Jun 22 I have successfully defended my Ph.D. thesis defense! The title of my thesis is "Incentivized Mechanism Design for Collaborative Proofs and Programs through Blockchain and Theorem Provers". [Youtube link to the presentation]
20 Feb 22 Our paper, "Blockchain-based Mechanism Design for Collaborative Mathematical Research", has been accepted at the 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). [Youtube link to the presentation]
07 Dec 21 Our paper, "A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs", has been accepted at the 4th IEEE International Conference on Blockchain (IEEE Blockchain-2021). [Youtube link to the presentation]
09 Sep 21 Our paper, "(Auto)Complete this Proof: Decentralized Proof Generation via Smart Contracts", has been accepted at the 6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021). [Youtube link to the presentation]