I'm Royal Academy of Engineering Research Fellow and Lecturer in Software Verification in the Department of Computer Science at Queen Mary, University of London. I was also a member of the East London Massive.

I’m also a founder of Monoidics Ltd a technology startup specialised in verification tools.

Previously I was post-doc in the same group.

I received my PhD from the University of Twente, in The Netherlands.