Ph.D. student under supervision of Peter Sewell. Working on multicore semantics.
Email: Ben.Simner@cl.cam.ac.uk