PhD Student


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 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.


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 am president of TinkerSoc, a society dedicated to making things, particuarly electronics. I have a handful of projects described on my Tinkering pages.


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,, 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.