School of Computing

Mr Simon Cooksey

Research Student

Photo of SJ Cooksey
  • Tel:     +44 (0)1227 823823
  • Fax:     +44 (0)1227 762811
  • Email: sjc205@kent.ac.uk
  • Room SW12
    School of Computing
    University of Kent, CT2 7NF

Publications

PhD Project Summary

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

I'm currently working on an Alloy 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.

Duties

Teaching

I have taught CO656: Internet of Things this term. If you're a student with questions about the module, please email my staff address: .

Postgraduate Student Rep

I am a Student Rep 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:

I am interested in Weak Memory Models, Semantics, and Correctness.

Other interests

I am a glider pilot, a bit of a tinkerer, and like to listen to semi-peculiar music. I have a personal site here, and I can be found on KentIRC.

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

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

Last Updated: 22/02/2017