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