Tomasz Kolinko – Looking deep into smart contracts

Home / News and Events / Seminar Series / Tomasz Kolinko – Looking deep into smart contracts


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 –, a smart contract decompiler.