Kayvan Memarian

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.

Contact details

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

Publications

PhD thesis

The Cerberus C semantics

Supervisions


Last modified: Jun 2023