Roland Carl Backhouse

Last updated

Roland Carl Backhouse
Roland backhouse.jpg
Roland Backhouse, 2009
Born (1948-08-18) 18 August 1948 (age 75)
Citizenship Great Britain
Netherlands
Education Churchill College, Cambridge
Imperial College London
Known forProgram construction
Algorithmic problem solving
ALGOL
SpouseHilary
Children3
Scientific career
Fields Computer science, mathematics
Institutions Royal Aircraft Establishment
Heriot-Watt University
University of Essex
University of Groningen
Eindhoven University of Technology
University of Nottingham
Doctoral advisor Jim Cunningham
Website www.cs.nott.ac.uk/~psarb2

Roland Carl Backhouse (born 18 August 1948) is a British computer scientist and mathematician. As of 2020, he is Emeritus Professor of Computing Science at the University of Nottingham. [1] [2]

Contents

Early life and education

Backhouse was born and raised in the Thorntree district of Middlesbrough, an industrial town in the north-east of England. In 1959, he won a place at the then all-male Acklam Hall Grammar School before going on to Churchill College, Cambridge, in 1966. His doctorate (Ph.D.) was completed under the supervision of Jim Cunningham at Imperial College London.

Career

Backhouse's career has included Royal Aircraft Establishment (1969–1970), Heriot-Watt University (1973–1982), University of Essex (1982–1986). He was formerly Professor of Computer Science at the University of Groningen (1986–1990) and Eindhoven University of Technology (1990–1999) in the Netherlands, before his position at the University of Nottingham.

He was a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, [3] which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68. [4]

Personal life

Backhouse is married to Hilary, née Mitchell. They have three sons, Kevin, Andrew, and David.

Academic interests

His research interests lie in the mathematics of program construction and algorithmic problem solving. Together with Jan L. A. van de Snepscheut (1953—1994), he began the biennial series of conferences on the Mathematics of Program Construction, the first of which was held in 1989.

Related Research Articles

Andrey Petrovich Yershov was a Soviet computer scientist, notable as a pioneer in systems programming and programming language research.

<span class="mw-page-title-main">Stephen R. Bourne</span> British computer scientist

Stephen Richard "Steve" Bourne is an English computer scientist based in the United States for most of his career. He is well known as the author of the Bourne shell (sh), which is the foundation for the standard command-line interfaces to Unix.

<span class="mw-page-title-main">Adriaan van Wijngaarden</span> Dutch mathematician and computer scientist

Adriaan "Aad" van Wijngaarden was a Dutch mathematician and computer scientist. Trained as a mechanical engineer, Van Wijngaarden emphasized and promoted the mathematical aspects of computing, first in numerical analysis, then in programming languages and finally in design principles of such languages.

<span class="mw-page-title-main">Nobuo Yoneda</span> Japanese mathematician and computer scientist

Nobuo Yoneda was a Japanese mathematician and computer scientist.

David A. Turner was a British computer scientist. He is best known for designing and implementing three programming languages, including the first for functional programming based on lazy evaluation, combinator graph reduction, and polymorphic types: SASL (1972), Kent Recursive Calculator (KRC) (1981), and the commercially supported Miranda (1985).

<span class="mw-page-title-main">Friedrich L. Bauer</span> German computer scientist

Friedrich Ludwig "Fritz" Bauer was a German pioneer of computer science and professor at the Technical University of Munich.

Eric "Rick" C. R. Hehner is a Canadian computer scientist. He was born in Ottawa. He studied mathematics and physics at Carleton University, graduating with a Bachelor of Science (B.Sc.) in 1969. He studied computer science at the University of Toronto, graduating with a Master of Science (M.Sc.) in 1970, and a Doctor of Philosophy (Ph.D.) in 1974. He then joined the faculty there, becoming a full professor in 1983. He became the Bell University Chair in software engineering in 2001, and retired in 2012.

John Edward Lancelot Peck was the first permanent Head of Department of Computer Science at the University of British Columbia (UBC). He remained the Head of Department from 1969 to 1977.

Barry James Mailloux obtained his Master of Science (M.Sc.) in numerical analysis in 1963. From 1966, he studied at Amsterdam's Mathematisch Centrum under Adriaan van Wijngaarden, earning a Doctor of Philosophy (Ph.D.) in 1968.

<span class="mw-page-title-main">Richard Bird (computer scientist)</span> English computer scientist (1943–2022)

Richard Simpson Bird was an English computer scientist.

Lambert Guillaume Louis Théodore Meertens or L.G.L.T. Meertens is a Dutch computer scientist and professor. As of 2020, he is a researcher at the Kestrel Institute, a nonprofit computer science research center in Palo Alto's Stanford Research Park.

Thomas Stephen Edward Maibaum Fellow of the Royal Society of Arts (FRSA) is a computer scientist.

<span class="mw-page-title-main">Micha Sharir</span> Israeli mathematician and computer scientist

Micha Sharir is an Israeli mathematician and computer scientist. He is a professor at Tel Aviv University, notable for his contributions to computational geometry and combinatorial geometry, having authored hundreds of papers.

Klaus Samelson was a German mathematician, physicist, and computer pioneer in the area of programming language translation and push-pop stack algorithms for sequential formula translation on computers.

<span class="mw-page-title-main">Maurice Nivat</span> French computer scientist

Maurice Paul Nivat was a French computer scientist. His research in computer science spanned the areas of formal languages, programming language semantics, and discrete geometry. A 2006 citation for an honorary doctorate (Ph.D.) called Nivat one of the fathers of theoretical computer science. He was a professor at the University Paris Diderot until 2001.

Charles Carroll Morgan is an American computer scientist who moved to Australia in his early teens. He completed his education there, including a Doctor of Philosophy (Ph.D.) degree from the University of Sydney, and then moved to the United Kingdom in the early 1980s. In 2000, he returned to Australia.

<span class="mw-page-title-main">Jeremy Gibbons</span> British computer scientist

Jeremy Gibbons is a computer scientist and professor of computing at the University of Oxford. He serves as Deputy Director of the Software Engineering Programme in the Department of Computer Science, Governing Body Fellow at Kellogg College and Pro-Proctor of the University of Oxford.

Conor McBride is a Reader in the department of Computer and Information Sciences at the University of Strathclyde. In 1999, he completed a Doctor of Philosophy (Ph.D.) in Dependently Typed Functional Programs and their Proofs at the University of Edinburgh for his work in type theory. He formerly worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde.

Charles Abraham Katz was an American mathematician and computer scientist known for his contributions to early compiler development in the 1950s.

<span class="mw-page-title-main">Michel Sintzoff</span>

Michel Sintzoff was a Belgian mathematician and computer scientist.

References

  1. "Roland Backhouse". University of Nottingham. Retrieved 19 February 2020.
  2. "Roland Backhouse: School of Computer Science". University of Nottingham. Retrieved 19 February 2020.
  3. Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 10 September 2020.
  4. Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 10 September 2020.

Publications

Books

Books edited

Selected papers