Leonardo Alt

Leo currently works on powdr building zkVM tooling. Before that he worked on Formal Verification and Solidity at the Ethereum Foundation for many years, mostly doing research and building tools for formal verification of smart contracts and zk circuits. Leo also holds a PhD in Computer Science, focused on SMT solving and software verification.