Professor Dino DistefanoProfessor of Software VerificationEmail: d.distefano@qmul.ac.ukTelephone: +44 20 7882 8794Room Number: Peter Landin, CS 430Website: http://www.eecs.qmul.ac.uk/~ddinoOffice Hours: Monday 11:00-12:00ResearchResearchResearch Interests:See Dino Distefano’s research profile pages including details of research interests, publications, and live grants.