羅蘭·卡爾·巴克豪斯
沒有或很少條目链入本條目。 (2016年12月17日) |
羅蘭·卡爾·巴克豪斯（英語：Roland Carl Backhouse，1948年8月18日—）是一个英国计算机科学家和数学家，当前在诺丁汉大学担任教授。[1]
| 羅蘭·卡爾·巴克豪斯 Roland Carl Backhouse | |
|---|---|
 羅蘭·卡爾·巴克豪斯（2009年） | |
| 出生 | 1948年8月18日 英格兰米德爾斯堡 |
| 居住地 | 英格兰诺丁汉 |
| 公民权 | 英國、荷蘭 |
| 母校 | 剑桥大学丘吉尔学院 伦敦帝国学院 |
| 知名于 | Program construction, algorithmic problem solving |
| 科学生涯 | |
| 研究领域 | 電子計算機 |
| 机构 | 諾汀罕大學 |
| 博士導師 | Jim Cunningham |
| 受影响自 | T J (Paddy) MacDonald, 艾兹赫尔·戴克斯特拉, David Gries, 東尼·霍爾 |
早期生活和教育
编辑职业生涯
编辑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.