**Works in Computer Algebra**, where he is an author of a
textbook,
many papers (see here for recent ones)),
posters
and presentations, and editor-in-chief of a conference volume (CICM 2011).
See Mathematical Reviews on JHD for a list that they consider "mathematical" (needs a subscription).
His major research effort is following up his grant in
Real Geometry and Connectedness via Triangular Description, and leading the exploration of the link between Symbolic Computation and Satisfiability Checking.
He has other PhD research topics: see
this topic list.
One of his research students talks about the experience.

Ph.D. | Ph.D. | M.Sc. | B.Sc. |

Ali El Kaafarani | David Wilson | Efthymia Viopoulou | Stavros Kaparelos |

Traceability, Linkability and Policy Hiding in Attribute-Based Signature Schemes |
Advances in Cylindrical Algebraic Decomposition |
An investigation of JavaScript
isolation mechanisms
Sandboxing implementations |
Extending Cachegrind : L2 cache inclusion and TLB measuring |

Thesis | Thesis | Dissertation | Dissertation; Code; Slides at FOSDEM 2015 |

He chaired the Research Committee's Working Party on Powerful Computing: report here, and is on the High-Performance Computing Facilities Advisory Group: see service details here.

His notes on various scientific meetings are listed here.

Letter in the Times Higher Education Supplement: original here.

Image of the church of Saint Mamas, patron saint of tax avoiders.

**Telephone:** +44 1225 386181
**Fax:** +44 1225 383436

**E-mail Address:** J.H.Davenport@bath.ac.uk

**Postal Address:**

Department of Computer Science

University of Bath

Bath

BA2 7AY

United Kingdom

Academic Year 2015/16 he taught CM30070: Computer Algebra and XX10190: Programming and Discrete Mathematics, and contributed to CM20215: Systems Development. He also supervisied projects in Computer Science and Mathematical Sciences.

Academic Year 2014/15 he taught CM30070: Computer Algebra and XX10190: Programming and Discrete Mathematics, and contributed to CM20215: Systems Development.

Academic Year 2013/14 he taught CM30070: Computer Algebra and XX10190: Programming and Discrete Mathematics, and contributed to CM20215: Systems Development.

Academic Year 2012/13 he taught CM30070: Computer Algebra and XX10190: Programming and Discrete Mathematics (HEA workshop 4 February 2013), and contributed to CM20215: Systems Development and CM30072: safety-Critical Systems.

Academic Year 2011/12 he taught CM30070: Computer Algebra and XX10190: Programming and Discrete Mathematics, and contributed to CM20215; Systems Development.

Academic Year 2010/11 he taught CM30070: Computer Algebra and XX10190: Programming and Discrete Mathematics: getting started instructions.

Academic Year 2009/2010: in Semester 1 he taught XX10190: Programming and Discrete Mathematics, CM30070: Computer Algebra and CM30078/50123: Advanced Networking, and in Semester 2 continued with XX10190.

Academic Year 2008/2009: in Semester 1 he taught CM30070: Computer Algebra and CM30078/50123: Advanced Networking. In Semester 2 he is on sabbatical at the University of Waterloo. See some photographs here.

Academic Year 2007/2008: in Semester 1 he taught CM30070: Computer Algebra and CM30078/50123: Advanced Networking. In Semester 2 he oversaw the teaching of CM30173/CM50210 Cryptography, coordinated CM50209 Security, and supervised various projects.

In September 2009, he lectured at the UK's prize-giving for the International Mathematical Olympiad team: his slides are here.