Contact Information

David John Wilson; Graduate Student
Department of Computer Science
University of Bath

Electronic Mail Address:

Prof. James H. Davenport, Department of Computer Science
Dr Russell J. Bradford, Department of Computer Science

PhD Thesis:
My PhD Thesis, titled Advances in Cylindrical Algebraic Decomposition, was submitted for consideration on 30th July 2014. The related downloads include: and CADassistant (Github).

Curriculum Vitae:
My current CV is available: Academic CV and Industry CV.

Current Work:
I am currently working on the EPSRC funded Real Geometry and Connectedness via Triangular Description project for my PhD and am documenting my progress. My Transfer Report documents my current progress and future plans and my transfer presentation/viva was given on Thursday December 6th as part of the University of Bath Mathematical Foundations seminar.

Research Interview:
I created a short video about my research for an EPSRC competition that can be viewed here:

Publications and Talks:
A selection of my publications:
  • M. England, R. Bradford, J.H. Davenport and D. Wilson
    Understanding Branch Cuts of Expressions
    In Press (Proceedings of CICM 2013 - MKM).
    Preprint: arXiv:1304.7223 or University repository.
  • R. Bradford, M. England, J.H. Davenport and D. Wilson
    Optimising Problem Formulations for Cylindrical Algebraic Decomposition
    In Press (Proceedings of CICM 2013 - Calculemus).
    Preprint: arXiv:1304.7222 or University repository.
  • R. Bradford, J.H. Davenport, M. England, S. McCallum and D. Wilson
    Cylindrical Algebraic Decompositions for Boolean Combinations
    In Press (Proceedings of ISSAC 2013).
    Preprint: arXiv:1304.7603 or University repository.
  • J.H. Davenport, R. Bradford, M. England and D. Wilson
    Program Verification in the presence of complex numbers, functions with branch cuts etc.
    14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), pp 83--88, IEEE, (2012).
    Journal website.
    Preprint: arXiv:1212.5417 or University repository.
  • D. J. Wilson, R. J. Bradford and J. H. Davenport
    Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases
    Lecture Notes in Computer Science 7362 (Proceedings of CICM 2012), pp. 280-294, Springer, (2012).
    Journal Website.
    Preprint: arXiv:1205.6285 or University repository.
  • D. J. Wilson, R. J. Bradford and J. H. Davenport
    A repository for CAD examples
    ACM Communications in Computer Algebra 46 (3), pp 67-69, ACM, (2012).
    Journal Website.
    Preprint: University Repository.

A full list of publications and talks is available and papers can generally be sourced from my Bath Opus Profile or Google Scholar Profile.

This term (Semester 2, 2012-2013) I will be teaching XX10190 (the groups have not yet been decided). I have a course website here.

Previous Education:
M.S. Rutgers, State University of New Jersey 2009-2011
(Fulbright Scholar 2009-2010)
MMath University of Oxford, Wadham College 2005-2009

Previous Work:

  • For my Masters Essay at Rutgers I worked on K.F.Roth's seminal paper "On Certain Sets of Integers". You can find my essay and other work on this topic here.
  • For my Undergraduate Dissertation at Oxford I looked at "Amalgams and the Coset Graph". You can find my dissertation here and my notes for a talk on the subject at the Rutgers Graduate Geometric Group Theory Seminar.

Video Interview:
I was interviewed for a promotional video for my department about life as a researcher in Computer Science.