Following a PhD in Theory of Computer Science at the University of Birmingham in 2000, I worked as a computer science researcher at University of Edinburgh (2001-2003) and as a lecturer at Aston University (2003-2022). I have contributed to a number of research projects, developing methods of reliable numerical computation, and methods and tools to aid the development of safety-critical software and automated theorem proving. At IGI I work on machine learning tools and related visualisations, and I contribute to the drive to employ rigorous software engineering tools and processes.

Outside work, I enjoy time with family and friends, hiking and the odd amateur music making.