Computer Laboratory

Ben Simner


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

See my website for a full list of publications and contact info