Petar Tsankov
Petar Tsankov works on smart-contract security and formal verification. His research with teams at ETH Zurich and ChainSecurity examines how program-analysis techniques can establish that contracts satisfy their intended behavior, beyond detecting generic vulnerabilities.