CertiK Staff Scientist Hao Chen is heading to ETHTaipei 2026 to explore how formal verification can turn critical DeFi security properties into machine-checked proofs and how AI can help make the process practical. See you at @EthTaipei!(CertiK)