羅蘭·卡爾·巴克豪斯
 | 沒有或很少條目連入本條目。 (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.
