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.
|Ali El Kaafarani||David Wilson||Efthymia Viopoulou||Stavros Kaparelos|
|Thesis||Thesis||Dissertation||Dissertation; Code; Slides at FOSDEM 2015|
Vice-President and various other things of the British Computer Society.
Awarded a National Teaching Fellowship for 2014. Here are his views on the apprentice model for teaching programming and low-stakes frequent assessment for this.
Awarded a Software Sustainability Fellowship for 2016.
He is heavily involved with the International Collegiate Programming Contest, both for UK/Ireland and for the North-West Europe Region, hosting both the 2016 and 2017 Regional contests.
Founding Editor-in-Chief LMS Journal of
Computation and Mathematics:
Until June 2008, Director of Studies for undergraduates, and would still like them to speak English. He represents the University on the Bristol Military Education Committee. He is Pensions Representative for the local association of the Universities and Colleges Union.
He coordinates Bath's entries for the ACM Intercollegiate Programming Contest, and in particular the Bath site of the UK/Ireland sub-regional contest. In 2016 and 2017, Bath will be host to the NorthWest Europe Regional Finals: see the news feed.
He has been heavily involved in OpenMath, and recently spoke on this, and was interviewed on Hungarian Tv Liceum. He was also Treasurer of the European Mathematical Trust.
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. He led for Bath in the GW4 project for an innovative ARM-based supercomputer.
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
Department of Computer Science
University of Bath
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.
[University of Bath] [Computer Algebra Information Network]