Professor Gethin Norman

简介

I am a professor in the School of Computing Science at the University of Glasgow and member of the formal methods research group which is part of the Formal Analysis, Theory and Algorithms research section. I was the co-leader of SICSA's Modelling and Abstraction research theme between 2012-16. Between 2019-26 I was the Deputy Head of School and I am currently the Senior Adviser for the School.