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