Skip to main content
School of Electronic Engineering and Computer Science

Professor Dino Distefano

Dino

Professor of Software Verification

Email: d.distefano@qmul.ac.uk
Telephone: +44 20 7882 8794
Room Number: Peter Landin, CS 430
Website: http://www.eecs.qmul.ac.uk/~ddino
Office Hours: Monday 11:00-12:00

Research

Research Interests:

I?m mainly interested in automatic program verification. In particular I focus on the application of separation logic as a main tool for modular program analysis and model checking of software.

Publications

    Back to top