(University Crest)

[Jubilee Campus]

Roland Backhouse


Professional Activities:

Long Term


Research Interests:

Mathematics of program construction. Calculus of relations. Category theory. Mathematical method. Generic programming. On-line document preparation systems oriented to the needs of authors of mathematical documents.
Publications and working documents. Lectures.

See also the MathSpad project.



I will be retiring in November 2013 and so no longer have any teaching duties.



     Problem Solving



The book Algorithmic Problem Solving has now been published and is available from the publisher John Wiley and amazon. The first part of the book introduces program construction principles via a variety of puzzles and games. The second part discusses the relevant mathematical techniques. The book is based on a module of the same name that has been taught at the University of Nottingham since September 2003.

The cover shows solutions to the Knight's Circuit problem for different sized boards. (The centre figure shows an 8x8 board.)

See here for more information on algorithmic problem solving.

Program Construction


My book Program Construction.
is published by John Wiley and Sons, Inc.


rcb AT cs nott ac uk (dot-separated).
telephone: +44 (0)115-95 14212 

Last updated 11th April, 2012.