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