Kayvan Memarian

I am a PhD student under the supervision of Peter Sewell working on Relaxed-Memory Concurrency and the formal study of the C programming language's semantics.

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

Supervisions


Last modified: May 2016