Ethereum is a unique software platform. It’s contracts execute in a tightly controlled environment, with all of their state public, and mutable only under very specific conditions. That makes it a wonderful candidate for performing all kinds of analysis. The talk will cover the current developments in the field, interesting use-cases, and also the state of the art techniques related to symbolic execution, formal verification and static analysis in general.


Tomasz Kolinko is a founder of multiple projects in the blockchain space since 2012, most notably Orisi – the first decentralised oracles system, Neufund, and recently – Eveem.org, a smart contract decompiler.