Research Summary

I have spent three years researching into Cylindrical Algebraic Decomposition (CAD) for my PhD at the University of Bath. I was supervised by Prof. James Davenport and Dr Russell Bradford, as part of the Real Geometry and Connectedness via Triangular Description resarch group. I submitted by thesis in July 2014 (available: PDF) and successfully defended in November 2014 (with Prof. C K Yap and Prof N Vorobjov as my examiners). I was awarded my PhD in January 2015, and graduated in July 2015.

This page describes my academic work and publications.

The following is a short video explaining the ideas behind my research, submitted for the finals of the EPSRC UK ICT Pioneers competition:


The following is a list of my peer-reviewed publications, in preprint form, hosted on the arXiv. They are all freely-available on the University of Bath Opus Repository, along with various non-peer reviewed technical reports and peer-reviewed pedagogical articles.


If you are interested in contacting me regarding academic research: Contact