skip to content

Department of Computer Science and Technology

Mark Batty has been named the winner of the 2015 CPHC/BCS Distinguished Dissertation Competition.

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.

Mark's dissertation ‘The C11 and C++11 Concurrency Model‘ makes significant contributions to the understanding of memory models for C and C++.

Mark was a member of the Programming, Logic, and Semantics Group under the supervision of Professor Peter Sewell.


Published by Jan Samols on Tuesday 27th October 2015