skip to content

Department of Computer Science and Technology


Stephen Dolan has been named the winner of the 2017 CPHC/BCS Distinguished Dissertation Award for his dissertation ‘Algebraic subtyping’.

The Council of Professors and Heads of Computing (CPHC), in conjunction with BCS and BCS Academy of Computing, annually selects for publication the best British PhD/DPhil dissertations in computer science.

Stephen was a member of the Programming, Logic, and Semantics Group under the supervision of Professor Alan Mycroft.