Leo Alt
Leo is the Formal Verification Lead at the Ethereum Foundation where he also contributes to the Solidity language and compiler.
Sessions
10-13
17:00
60min
The Showdown: Best Ethereum Language
Hari, Leo Alt, Alex Beregszaszi
Developer Infrastructure
Workshop 3
10-14
11:00
30min
Building an End-to-End EVM Symbolic Execution Engine in Solidity
Leo Alt
Developer Infrastructure
Talk 4