
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
Personal website:http://www.eecs.qmul.ac.uk/~ddino/ddino_homepage/About_me.html
Contributions
SOAP 2016 | Committee Member in Program Committee within the SOAP-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2016-profile
View general profile
View general profile