Vice-Principal and Head of College of Science and Engineering, and Professor of Formal Methods - Glasgow University