I am a research associate with Peter Sewell working on the Cerberus C semantics (github repo), an executable model formalising the C programming language and its memory object model.
Previously, I worked on relaxed-memory concurrency.
email: kayvan.memarian cl.cam.ac.uk tel: +44 (0)1223 763559 office: FS14 address: University of Cambridge Computer Laboratory 15 JJ Thomson Avenue Cambridge, CB3 0FD