Leo Alt
Profile
Leo is the Formal Verification Lead at the Ethereum Foundation where he also contributes to the Solidity language and compiler.
Sessions
Developer Infrastructure
112
Oct 13th — 17:00 PM - 18:00 PM
110
Oct 14th — 11:00 AM - 11:30 AM