I'm Lecturer in Software Verification and Royal Academy of Engineering Research Fellow in the Department of Computer Science at Queen Mary, University of London. I was also a member of the East London Massive.
Previously I was post-doc in the same group.
I received my PhD from the University of Twente, in The Netherlands.
