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

Currently, I work at Runtime Verification Inc , where I apply the K Framework to formal verification of smart contracts on the Ethereum and Algorand blockchains.

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

Download CV .