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.
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.
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.
You can contact me via email, email@example.com, 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.
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.