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