Roland Backhouse |
|
Roland Backhouse joined the School of Computer Science in September 1999, where he leads the Algorithmic Problem Solving group.
Professional Activities:
Long Term
- Member editorial board: Formal Aspects of
Computing
- Member IFIP WG 2.1 (Algorithmic Languages and Calculi)
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:
- Advice for Mathematics and CS students (Informal advice on module choice for GG41 students.)
- Algorithmic
Problem Solving (G51APS).
- Algorithms and OR (G54AOR)
- Mathematics for Computer Science (G51MCS)
|
|
|
My book Program
Construction. Supplementary examples can be found here. Currently, I am working on a precursor to this book on Algorithmic Problem Solving. The goal is to introduce program construction principles via a variety of well-known puzzles and games. Comments and suggestions (eg for additional examples) are welcome. |
Contact:
rcb AT cs
nott ac uk
(dot-separated).
telephone: +44 (0)115-95 14212