I am a Professor at the University of Liverpool, Director of the University's Centre for Autonomous Systems Technology, and member of the Logic and Computation group in the Department of Computer Science. I am also a Fellow of the BCS, a Fellow of the IET, and a member of the UK Computing Research Committee. Within the Department, I am a member of the Management Committee and Chair of the Industrial Liaison Committee.
