School of Computing

Mr Simon Cooksey

Research Student

Photo of SJ Cooksey
  • Tel:     +44 (0)1227 823823
  • 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'm currently working on an Isabelle model of Alan Jeffrey's Event Structure Memory Model with the intention of extending it to support C/C++11 memory behaviours and then comparing it to other existing memory models.



I have taught CO656: Internet of Things this term. I have also taught some OCaml on the CO658: Programming Language Implementation module. If you're a student with questions about a teaching matter, please email my staff address: . Otherwise my regular email address is above.

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 spare time I like to fly gliders, hack around with electronics and machinery and listen to semi-eculiar music. 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: 27/06/2017