羅蘭・卡爾・巴克豪斯（英語：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 （頁面存檔備份，存於網際網路檔案館）