I left the department in 2014 after eleven years, first as a tutor and then as a research assistant. I'm now working as a freelance programmer, mainly in Python so far. Here's my CV.
From 2008 to 2014 I worked in the FIT Lab with Harold Thimbleby, on the EPSRC funded project "Formally-based tools for user interface analysis and design". We investigated formal approaches to development and analysis of user interfaces, concentrating on structural aspects relating to usability, and tool support for such aspects. I received my PhD for work in this field in May 2014. (Thesis here — see Publications, below, for BibTeX.)
In 2008 I received my MPhil for research under the supervision of Markus Roggenbach in the Processes and Data research group. I performed language design and tool implementation for the specification language CSP-CASL, which is a combination of the process algebra CSP and the algebraic specification language CASL. Among other things, this work involved formally specifying the language's static semantics in the style of natural semantics, and implementing parsing and static checks in Haskell, as part of the Hets toolset. (Thesis here — see Publications, below, for BibTeX.)