I'm a software engineer with expertise in formal software verification and typed function programming.

Currently, I work at Input Output, where I develop the Consensus layer of the Cardano blockchain network.

Previously, I worked at Runtime Verification, where I worked on the symbolic execution engine for the K Framework. Besides working on K, I've also applied it to formal verification of smart contracts on the Ethereum and Algorand blockchains.

Before joining RV, I was a PhD student at Newcastle University, UK, under the supervision of Dr Andrey Mokhov. My PhD thesis focuses on the formal verification of instruction-set-level programs and is available for download.

Download CV.