The Thorntree district of Middlesbrough provided the early environment for the formative years of Roland Carl Backhouse, who entered the world in 1948. Emerging from an industrial northern English background, he pursued a career defined by the intersection of rigorous mathematical theory and the evolving practical demands of computer science and software development.
Formative Education
Academic life for Backhouse began at the Acklam Hall Grammar School in 1959. He later transitioned to the University of Cambridge, enrolling at Churchill College in 1966. His advanced studies culminated at Imperial College London, where he completed his doctoral thesis under the mentorship of Jim Cunningham.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Professional Appointments
His career spanned numerous institutions across Europe. Early roles included a tenure at the Royal Aircraft Establishment between 1969 and 1970, followed by academic positions at Heriot-Watt University and the University of Essex. In the Netherlands, he served as a professor at the University of Groningen and the Eindhoven University of Technology before moving to the University of Nottingham, where he eventually became professor emeritus of computing science.
Mathematical Contributions
Backhouse engaged deeply with the International Federation for Information Processing, serving on the IFIP Working Group 2.1. This group focused on the development and maintenance of ALGOL 60 and ALGOL 68. His research centered on algorithmic problem solving and the mathematics behind program construction. In 1989, he co-founded the biennial Mathematics of Program Construction conference series alongside Jan L. A. van de Snepscheut.
Published Works
His scholarship is documented in several textbooks, including the 1979 volume Syntax of Programming Languages and the 2011 work Algorithmic Problem Solving. He has also edited extensive collections on topics such as datatype-generic programming and algebraic methods in program construction, reflecting his long-standing commitment to formalising the logic of software development.
Fast facts
- Born: 18 August 1948, Middlesbrough, United Kingdom
- Doctoral Supervisor: Jim Cunningham
- Spouse: Hilary (née Mitchell)
- Children: Kevin, Andrew, and David
- Notable Membership: IFIP Working Group 2.1
- Notable Publication: Algorithmic Problem Solving (2011)
- Academic Status: Professor emeritus, University of Nottingham
Questions readers ask
What is the primary focus of Roland Backhouse's research?
His work concentrates on the mathematics of program construction, algorithmic problem solving, and the syntax of programming languages.
Where did Backhouse spend his academic career?
He held positions at Heriot-Watt University, the University of Essex, the University of Groningen, Eindhoven University of Technology, and the University of Nottingham.
Achievements
- Held posts at University of Groningen and University of Nottingham
- Fields: computer
