School of Computing

Mr Simon Cooksey

Research Student

Photo of SJ Cooksey
  • Tel:     +44 (0)1227 82 3823
  • Fax:     +44 (0)1227 762811
  • Email:
  • Room SW12
    School of Computing
    University of Kent, CT2 7NF


PhD Project Summary

I am in the PLAS research group, studying Weak Memory behaviours with Mark Batty.

I develop tools to help reason about the behaviour of computer software in multi-core processors.


I recently gave a talk at the Aarhus Concurrency Workshop positioning research on a memory model for relaxed memory consistency presented by Jeffrey and Riely in LICS'16. I spoke about the merits of this model, and how it's being developped by myself and others at Kent, and our directions going forward. Slides are available here.


I have taught

I have also taught OCaml on the CO658: Programming Language Implementation module.

Postgraduate Student Rep

I'm one of the Student Reps for Postgraduate Research Students in Computer Science at Canterbury. I sit on the Postgraduate Staff Student Liaison Committee, and the School Board of Graduate Studies.

Research Interests

I am a member of the following research groups:

My research interests relate to Weak Memory Models, Semantics, and Correctness.

Other interests

In my free time I like to fly gliders. I keep a personal website here, and I can be found on the KentIRC.

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 18/10/2019