Dino Distefano’s Homepage
 
 

I'm Professor of Software Verification in the School of Electronic Engineering and Computer Science at Queen Mary, University of London. Previously I was a Royal Academy of Engineering Research Fellow.


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.


 
About Me
Contact info

School of Electronic Engineering and Computer Science
Queen Mary, University of London
Mile End Road
London E1 4NS
United Kingdom
tel: +44 (0)20 7882 8794
fax: +44 (0)20 8980 6533
email: ddino AT eecs.qmul.ac.uk