Hao Chen, Staff Scientist at @CertiK, joins ETHTaipei 2026 to talk about moving smart contract security beyond finding bugs to proving they don’t exist. Hao builds formal verification toolchains for smart contracts, DeFi protocols, zkVMs, and systems software. Previously, he researched systems verification at Yale University, including CertiKOS, and holds a Ph.D. in Computer Science. In “Beyond Finding Bugs: Proving DeFi Safe,” he’ll explore how formal verification can turn key security properties into machine-checked proofs, walking from an informal idea to a formal specification, a counterexample, and finally a proof. He’ll also show how AI can help make this process practical during development. Join us at ETHTaipei 2026. Register now: