羅蘭·卡爾·巴克豪斯

**羅蘭・卡爾・巴克豪斯**（英語：Roland Carl Backhouse，1948 年 8 月 18 日 —）是一個英國計算機科學家和數學家，當前在諾丁漢大學擔任教授。

## 早期生活和教育

## 職業生涯

Backhouse 的職業生涯包括皇家航空研究院 (1969–1970)，赫瑞瓦特大學 (1973–1982)，艾塞克斯大學 (1982–1986)。在他到諾丁漢大學擔任教授之前，他曾經是荷蘭格羅寧根大學 (1986–90) 和埃因霍溫理工大學 (1990–1999) 大學的教授。

## 個人生活

巴克豪斯和 Hilary (née Mitchell) 結婚，他們有三個兒子：Kevin, Andrew and David.

## 學術領域

他的研究領域包括程序構建的數學（mathematics of program construction）和算法問題解決。他和 Jan L. A. van de Snepscheut (1953—1994) 一起開始舉辦兩年一次的 Mathematics of Program Construction 學術會議，第一會議在 1989 年。

## 參考

## 出版物

### 書籍

* Backhouse, Roland. Algorithmic problem solving. Chichester: Wiley. 2011. ISBN 978-0-470-68453-5.
* Backhouse, Roland. Program construction: calculating implementations from specifications. Chichester: Wiley. 2003. ISBN 978-0-470-84882-1.
* Backhouse, Roland. Program construction and verification. Englewood Cliffs N.J.: Prentice-Hall International. 1986. ISBN 978-0-13-729153-3.
* Backhouse, Roland. Syntax of programming languages. Prentice-Hall International series in computer science. Englewood Cliffs, N.J.: Prentice-Hall International. 1979. ISBN 978-0-13-879999-1.

### 編輯過的書籍

* Backhouse, Roland; Jeremy Gibbons, Ralph Hinze, Johan Jeuring. Datatype-generic programming: international spring school, SSDGP 2006, Nottingham, UK April 24–27, 2006, revised lectures. International Spring School on Datatype-Generic Programming. Berlin: Springer. 2007. ISBN 978-3-540-76785-5.
* Backhouse, Roland; Jeremy Gibbons. Generic programming: advanced lectures [lectures presented at a Summer School on Generic Programming held at the University of Oxford in August 2002]. Summer School on Generic Programming. Berlin: Springer. 2003. ISBN 978-3-540-20194-6.
* Backhouse, Roland; Roy L. Crole, Jeremy Gibbons. Algebraic and coalgebraic methods in the mathematics of program construction: international summer school and workshop Oxford, UK, April 10–14, 2000, revised lectures. Berlin; New York: Springer. 2002. ISBN 978-3-540-43613-3.
* Backhouse, Roland; Jose N. Oliveira. Mathematics of Program Construction 2000. Berlin; New York: Springer. 2000. ISBN 3-540-67727-5.

### 論文精選

* Regular algebra applied to path-finding problems. Journal of the institute of mathematics and its applications. 1975, **15** (2): 161–186.
* Generic programming - An introduction [Conference Information: 3rd International School on Advanced Functional Programming (AFP 98),September 12–19, 1998 Braga Portugal]. Advanced functional programming. 1999, **1608**: 28–115.
* A calculational approach to mathematical induction. Theoretical computer science. June 1997, **179** (1-2): 103–135.
* Galois connections and fixed point calculus [Conference Information: International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Date: April 10–14, 2000 Univ Oxford Oxford England]. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. 2002, **2297**: 89–148.
* Reductivity [Conference Information: 3rd International Conference on the Mathematics of Program Construction, Date: JUL 17-21, 1995 Kloster Irsee Germany]. Science of Computer Programming. 1996, **26** (1-3): 217–236.

## 外部連結

* The DBLP Computer Science Bibliography （頁面存檔備份，存於網際網路檔案館）
* Professor Backhouse's Home page （頁面存檔備份，存於網際網路檔案館）