Professor Dino Distefano
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
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