Mr Simon Cooksey
PhD Project Summary
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.
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.
I am a member of the following research groups:
I am interested in Weak Memory Models, Semantics, and Correctness.
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.