Hi! I am a formal verification engineer at Runtime Verification Inc, where I develop software tools to detect security issues on smart contracts, particularly in the Ethereum ecosystem. Previously, I received my B.Sc. in Mathematics (2014) from the National University of Singapore and Ph.D. in Engineering Systems and Design (2022) from the Singapore University of Technology and Design. My Ph.D. thesis is titled "Incentivized Mechanism Design for Collaborative Proofs and Programs through Blockchain and Theorem Provers", where I worked on game theoretical analysis, interactive theorem proving and blockchain applications. I also worked as a lecturer (2014 - 2018) at Temasek Polytechnic, where I taught subjects related to mathematics and statistics. My research interests lie within the following domains:

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!

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]