**Works in Computer Algebra**, where he is an author of a
textbook,
many papers,
posters
and presentations.
See Mathematical Reviews on JHD for a list that they consider "mathematical" (needs a subscription).
His major research effort is a grant in
Real Geometry and Connectedness via Triangular Description.
He has other PhD research topics: see
this topic list.
One of his research students talks about the experience.

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

David Wilson | Efthymia Viopoulou | Stavros Kaparelos |

Advances in Cylindrical Algebraic Decomposition |
An investigation of JavaScript
isolation mechanisms
Sandboxing implementations |
Extending Cachegrind : L2 cache inclusion and TLB measuring |

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 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.