Simon
Cooksey

PhD Student

Research

I am a member of the Programming Languages and Systems group at the University of Kent, and a student of Mark Batty researching weak memory and compiler verification.

University

I graduated from the University of Kent with a First in Computer Science with a Year in Industry. My final year modules included Internet of Things and Programming Language Implementation.

XMOS

I spent my Year in Industry (YII) at the Bristol based semiconductor company XMOS. XMOS produce a line of multi-core embedded processors called the xCORE. I built tools and applications for the platform, including a port of an MP3 library, lib_mp3.

TinkerSoc

I am president of TinkerSoc, a society dedicated to making things, particuarly electronics. I have a handful of projects described on my Tinkering pages.

Gliding

I started gliding in February 2015. It is a fantastic and exciting sport, which I'd recomend to everyone.

While living in Bristol on my placement year, I have been gliding with the Bristol and Gloucestershire Gliding Club at Nympsfield.

Bristol University Gliding Club have been wonderful in adopting me as a member for a year, and I have enjoyed their company at Nympsfield and in the expeditions to The Long Mynd in April, and to the Inter-Unis competition at Bicester, where I came 2nd on progression with 1300 points.

I have since moved back to Canterbury and am gliding with Kent Gliding Club at Challock.

Contact

You can contact me via email, sjc80@kent.ac.uk, on KentIRC in #cs, and often can be contacted via amateur radio on SSTV (14.230MHz) and on the Canterbury repeater (433.150MHz +1600KHz/103.5). My callsigns are M6GFL and 2E0GFL.

Other bits

I keep a blog here with thoughts and anecdotes from my PhD. Some of my notes are available here, in some roughly chronological order. I help organise the KentIRC Meats, information on the mailing list and the current Poker champions can be found there. There's also the tinkering pages with project write-ups from over the years.