Roland Backhouse

Homepage

Roland Backhouse joined the School of Computer Science in September 1999. He retired in November 2013 and is now an emeritus professor. (So he is not as young as the photograph might suggest!) He continues to do some research and to publish occasionally. His research interests include mathematics of program construction, calculus of relations, category theory, mathematical method, generic programming, and on-line document preparation systems oriented to the needs of authors of mathematical documents.

Back to all authors

Books Authored by Roland Backhouse

Galois Connections and Fixed Point Calculus

Post date: 12 Oct 2006
Introduces the fundamental algebraic structures in the mathematics of program construction with a focus on the algebraic properties of recursion and how these are applied to the generic solution of programming problems.

Publication date: 01 Oct 2001

Galois Connections and Fixed Point Calculus

Publication date: 01 Oct 2001

[No longer freely available] Algorithmic Problem Solving

Post date: 01 Oct 2006
An introduction to problem-solving and algorithm formulation using an example-driven approach. It demonstrates the importance of mathematical calculation, but the chosen examples are typically not mathematical.

Publication date: 01 Jun 2006
Document Type: Book

[No longer freely available] Algorithmic Problem Solving

Publication date: 01 Jun 2006
Document Type: Book

Book Categories

Computer Science

Introduction to Computer Science Introduction to Computer Programming Algorithms and Data Structures Artificial Intelligence Computer Vision Machine Learning Neural Networks Game Development and Multimedia Data Communication and Networks Coding Theory Computer Security Information Security Cryptography Information Theory Computer Organization and Architecture Operating Systems Image Processing Parallel Computing Concurrent Programming Relational Database Document-oriented Database Data Mining Big Data Data Science Digital Libraries Compiler Design and Construction Functional Programming Logic Programming Object Oriented Programming Formal Methods Software Engineering Agile Software Development Information Systems Geographic Information System (GIS)

Mathematics

Mathematics Algebra Abstract Algebra Linear Algebra Number Theory Numerical Methods Precalculus Calculus Differential Equations Category Theory Proofs Discrete Mathematics Theory of Computation Graph Theory Real Analysis Complex Analysis Probability Statistics Game Theory Queueing Theory Operations Research Computer Aided Mathematics

Supporting Fields

Web Design and Development Mobile App Design and Development System Administration Cloud Computing Electric Circuits Embedded System Signal Processing Integration and Automation Network Science Project Management

Operating System

Unix GNU/Linux FreeBSD iPhone iOS Android Windows

Programming/Scripting

Ada Assembly C / C++ Common Lisp Forth Java JavaScript Lua Rexx Microsoft .NET Perl PHP R Python Rebol Ruby Scheme Tcl/Tk

Miscellaneous