羅蘭·卡爾·巴克豪斯

维基百科,自由的百科全书
跳到导航 跳到搜索
羅蘭·卡爾·巴克豪斯
Roland Carl Backhouse
Roland backhouse.jpg
羅蘭·卡爾·巴克豪斯(2009年)
出生 (1948-08-18) 1948年8月18日72歲)
英格兰米德爾斯堡
居住地英格兰诺丁汉
公民权英國、荷蘭
母校剑桥大学丘吉尔学院
伦敦帝国学院
知名于Program construction, algorithmic problem solving
科学生涯
研究领域電子計算機
机构諾汀罕大學
博士导师Jim Cunningham
受影响自T J (Paddy) MacDonald, 艾兹赫尔·戴克斯特拉,
David Gries, 東尼·霍爾

羅蘭·卡爾·巴克豪斯(英語:Roland Carl Backhouse,1948年8月18日)是一个英国计算机科学家和数学家,当前在诺丁汉大学担任教授。[1]

早期生活和教育[编辑]

职业生涯[编辑]

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年。

参考[编辑]

  1. ^ People look-up - The University of Nottingham. nottingham.ac.uk. [18 February 2010]. 

出版物[编辑]

书籍[编辑]

编辑过的书籍[编辑]

  • 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.  使用|coauthors=需要含有|author= (帮助)
  • 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.  使用|coauthors=需要含有|author= (帮助)
  • A calculational approach to mathematical induction. Theoretical computer science. June 1997, 179 (1-2): 103–135.  使用|coauthors=需要含有|author= (帮助)
  • 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.  使用|coauthors=需要含有|author= (帮助)

外部链接[编辑]