Mr Simon Cooksey
PhD Project Summary
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.
I am a member of the following research groups:
My research interests relate to Weak Memory Models, Semantics, and Correctness.
In my free time I like to fly gliders. I keep a personal website here, and I can be found on the KentIRC.