Department of Computer Science Prof. John A Clark (Deputy Head of Department, Responsible for Research)