Petar Tsankov
This public profile has been imported and is waiting for source-backed enrichment.
Skills
automated security testing, smart contract fuzzing, symbolic execution, imitation learning, blockchain runtime analysis, polkadot, ethereum, machine learning, python, docker, network analysis, verification tools