Roland Backhouse |
|
Roland Backhouse joined the School of Computer Science in September 1999, where he leads the Foundations of Programming research 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:
- Suggestions for final-year projects
- Advice for Mathematics and CS students (Informal advice on module choice for GG41 students.)
- Algorithmic
Problem Solving (G51APS).
- Derivation of Algorithms (G52DOA)
- 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