跳转到内容

羅蘭·卡爾·巴克豪斯

维基百科,自由的百科全书
羅蘭·卡爾·巴克豪斯
Roland Carl Backhouse
羅蘭·卡爾·巴克豪斯(2009年)
出生 (1948-08-18) 1948年8月18日76歲)
英格兰米德爾斯堡
居住地英格兰诺丁汉
公民权英國、荷蘭
母校剑桥大学丘吉尔学院
伦敦帝国学院
知名于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]. (原始内容存档于2020-10-19). 

出版物

[编辑]

书籍

[编辑]

编辑过的书籍

[编辑]

论文精选

[编辑]
  • 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. 

外部链接

[编辑]