I'm Professor of Software Verification and Royal Academy of Engineering Research Fellow in the Department of Computer Science at Queen Mary, University of London. I was a member of the East London Massive.
I’m also a founder of Monoidics Ltd a technology startup specialised in automatic verification tools.
I received my PhD from the University of Twente, in The Netherlands.
