Bio

Co-founder & CEO at LatticeFlow, building the world's first product enabling organizations to build robust and trustworthy AI systems. Before starting LatticeFlow, I was a senior researcher at ETH Zurich working on the security and reliability of modern systems, including deep learning models, smart contracts, and programmable networks. I have co-created multiple publicly available security and reliability systems which are regularly used: => ERAN, the world's first scalable verifier for deep neural networks: https://github.com/eth-sri/eran => VerX, the world's first fully automated verifier for smart contracts: https://verx.ch => Securify, the first scalable security scanner for Ethereum smart contracts: https://securify.ch => DeGuard, de-obfuscates Android binaries: http://apk-deguard.com => SyNET, the first scalable network-wide configuration synthesis tool: https://synet.ethz.ch I have also co-founded ChainSecurity, an ETH spin-off that within 2 years became a leader in formal smart contract audits and was acquired by PwC Switzerland in 2020.