I’m a research engineer in the Automated Reasoning Team at ConsenSys. My current focus is on the practical application of formal methods to software correctness, such as for zkEVMs. Previously, I was an Associate Professor at Victoria University of Wellington, NZ. My research interests are in programming languages, compilers, static analysis and formal verification