Dino Distefano


I'm a Royal Academy of Engineering and EPSRC Research Fellow in the Theory Group of the Department of Computer Science at Queen Mary, University of London. I'm also a member of the East London Massive. Previously I was post-doc in the same group (2004-2007).

Before moving to London, I enjoyed working on my PhD in the Formal Methods & Tools group of the Department of Computer Science, University of Twente, The Netherlands (1999-2003). My first steps in computer science date back to my undergrad time at University of Pisa and at the Free University of Amsterdam (1993-1997).

I grew up in Biancavilla a small town at the bottom of the volcano Etna in Sicily.