I am a Professor at the University of Liverpool, Director of the Centre for Autonomous Systems Technology, and head 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. In the Department, I am a member of the Management and Research Committees and Chair of the Industrial Liaison Committee.
