Ben Simner
Ph.D. student under supervision of Peter Sewell,
working on multicore semantics.
Email: Ben.Simner at cl.cam.ac.uk
Email: Ben.Simner at cl.cam.ac.uk
See my website for a full list of publications and contact
info