Not registered as user yet
I’m Professor of Software Verification and Royal Academy of Engineering Research Fellow in the School of Electronic Engineering and Computer Science at Queen Mary, University of London. I was a member of the East London Massive.
I was also a founder of Monoidics Ltd a technology startup specialised in automatic verification tools. Monoidics was acquired by Facebook in July 2013.
I received my PhD from the University of Twente, in The Netherlands.
View general profile