Dino Distefano

Not registered as user yet

Name:Dino Distefano
Bio:

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.

Affiliation:Facebook London

Contributions

Show activities from other conferences

PLDI 2016-profile
View general profile