Leo co-founded the powdr project and currently works on zkVMs. Before that he was the Formal Verification Lead and former Solidity core compiler dev at the Ethereum Foundation.