Leo Alt

Leo Alt

Leo Alt

Profile

Leo is the Formal Verification Lead at the Ethereum Foundation where he also contributes to the Solidity language and compiler.