羅蘭·卡爾·巴克豪斯

羅蘭·卡爾·巴克豪斯（英語：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年。 People look-up - The University of Nottingham. nottingham.ac.uk. [18 February 2010]. （原始内容存档于2020-10-19）.  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.  Backhouse RC, Carre BA. Regular algebra applied to path-finding problems. Journal of the institute of mathematics and its applications. 1975, 15 (2): 161–186.  Backhouse, R; Jansson, P; Jeuring, J; et al. 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.  Doornbos, H; Backhouse, R; vanderWoude, J. A calculational approach to mathematical induction. Theoretical computer science. June 1997, 179 (1-2): 103–135.  Backhouse, R. 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.  Doornbos, H; Backhouse, R. 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 （页面存档备份，存于互联网档案馆）