Petar TsankovCo Founder

Switzerland - Zurich, Zurich

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.