I'm currently working in the FIT Lab with Harold Thimbleby, on the EPSRC funded project "Formally-based tools for user interface analysis and design". We're investigating formal approaches to development and analysis of user interfaces, concentrating on structural aspects relating to usability, and tool support for such aspects. I've been finding out how reverse engineering, domain specific languages, and process algebra fit into this picture.
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.)