Head of Department 2003-2004

Professor Michael Harrison is Emeritus Professor and Senior Research Investigator at Newcastle University. 

Prior to joining Newcastle, he worked at the Department of Computer Science at the University of York from 1983 - 2004. He was Head of Department from 2003-2004.

He is a visiting researcher at the University of Minho, Portugal and an honorary professor at Swansea.

His research focuses on the systematic analysis of the functional behaviour of interactive systems using a combination of model checking and automated theorem-proving techniques.