Mark Batty receives John C. Reynolds Doctoral Dissertation Award

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.

This entry was posted in Awards and honours, Frontpage, Uncategorized. Bookmark the permalink.