Hi! I am a software engineer at Pi Squared Inc., where I contribute to the Math Proof Generation Team, focusing on building components that produce machine-checkable proofs of program executions. 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).

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).

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!

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]