羅蘭·卡爾·巴克豪斯
 | 沒有或很少條目链入本條目。 (2016年12月17日) |
| 羅蘭·卡爾·巴克豪斯 Roland Carl Backhouse | |
|---|---|
 羅蘭·卡爾·巴克豪斯（2009年） | |
| 出生 | 1948年8月18日 英格兰米德爾斯堡 |
| 居住地 | 英格兰诺丁汉 |
| 公民权 | 英國、荷蘭 |
| 母校 | 剑桥大学丘吉尔学院 伦敦帝国学院 |
| 知名于 | 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年。
参考
[编辑]- ^ 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.
