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:00ResearchPublicationsResearchResearch 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