(University Crest)

[Jubilee Campus]

Roland Backhouse

[Photo]

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.

 

Teaching:

  • Algorithmic Problem Solving (G51APS)
  • Algorithm Design (G54ALG)
  • Suggestions for MSc projects (Advanced Computer Science, Scientific Computation, Information Technology)

    •  

     

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

     


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

    Last updated 11th April, 2012.