I am currently doing research on Formal Verification for Smart Contract Security and developing a methodology for detecting vulnerabilities using formal methods. You can find my code on GitHub and reach me via LinkedIn or email (zhengwangyuan.icarus@gmail.com).