Department of Computer Science and Technology
Submitted by Jan Samols on Thu, 25/06/2015 - 17:51
Mark Batty has received the John C. Reynolds Doctoral Dissertation Award.
His 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.
Celebrating at our Hall of Fame Awards
19 April 2024
Students' Group Design Projects enjoy success
14 March 2024
Department of Computer Science and Technology
University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge
CB3 0FD
Information provided by pagemaster@cst.cam.ac.uk
© 2024 University of Cambridge