Роланд Карл Бэкхаус

Роланд Карл Бэкхаус
Роланд Бэкхаус, 2009
Рожденный	( 1948-08-18 )18 августа 1948 г. (76 лет) Мидлсбро , Англия
Гражданство	Великобритания Нидерланды
Образование	Черчилль-колледж, Кембриджский Имперский колледж Лондона
Известный	Построение программ Алгоритмическое решение задач АЛГОЛ
Супруг	Хилари
Дети	3
Научная карьера
Поля	Информатика , математика
Учреждения	Королевский авиастроительный институт Университет Хериот-Уотт Университет Эссекса Университет Гронингена Эйндховенский технологический университет Ноттингемский университет
научный руководитель	Джим Каннингем
Веб-сайт	www.cs.nott.ac.uk/~psarb2

Роланд Карл Бэкхаус (родился 18 августа 1948 года) — британский учёный-компьютерщик и математик . С 2020 года ^{[обновлять]}он является почётным профессором вычислительной техники в Ноттингемском университете . ^{[1] [2]}

Бэкхаус родился и вырос в районе Торнтри в Мидлсбро, промышленном городе на северо-востоке Англии. В 1959 году он получил место в тогдашней мужской гимназии Acklam Hall Grammar School, а затем в 1966 году поступил в Churchill College, Cambridge . Его докторская степень (Ph.D.) была завершена под руководством Джима Каннингема в Imperial College London .

Карьера Бэкхауса включала Royal Aircraft Establishment (1969–1970), Heriot-Watt University (1973–1982), University of Essex (1982–1986). Ранее он был профессором компьютерных наук в University of Groningen (1986–1990) и Eindhoven University of Technology (1990–1999) в Нидерландах , до своей должности в University of Nottingham.

Он был членом рабочей группы IFIP 2.1 по алгоритмическим языкам и исчислениям Международной федерации по обработке информации (IFIP) , ^[3] которая специфицировала , обслуживала и поддерживала языки программирования ALGOL 60 и ALGOL 68. [ ^4]

Бэкхаус женат на Хилари, урожденной Митчелл. У них трое сыновей: Кевин, Эндрю и Дэвид .

Его исследовательские интересы лежат в области математики построения программ и алгоритмического решения проблем. Вместе с Яном LA van de Snepscheut (1953—1994) он начал двухгодичную серию конференций по математике построения программ, первая из которых состоялась в 1989 году.

• Бэкхаус, Роланд (2011). Алгоритмическое решение проблем . Чичестер: Wiley. ISBN 978-0-470-68453-5.
• Бэкхаус, Роланд (2003). Построение программы: расчет реализаций по спецификациям . Чичестер: Wiley. ISBN 978-0-470-84882-1.
• Бэкхаус, Роланд (1986). Разработка и проверка программ . Энглвуд Клиффс, Нью-Джерси: Prentice-Hall International. ISBN 978-0-13-729153-3.
• Бэкхаус, Роланд (1979). Синтаксис языков программирования . Серия Prentice-Hall International по информатике. Энглвуд Клиффс, Нью-Джерси: Prentice-Hall International. ISBN 978-0-13-879999-1.

• Backhouse, Roland; Gibbons, Jeremy ; Hinze, Ralph; Jeuring, Johan, ред. (2007). Datatype-generic programming: международная весенняя школа, SSDGP 2006, Ноттингем, Великобритания, 24–27 апреля 2006 г., пересмотренные лекции . Международная весенняя школа по Datatype-Generic Programming. Берлин: Springer. ISBN 978-3-540-76785-5.
• Бэкхаус, Роланд; Гиббонс, Джереми , ред. (2003). Generic programming: advanced lectures [лекции, представленные на летней школе Generic Programming, состоявшейся в Оксфордском университете в августе 2002 г.] . Берлин: Springer. ISBN 978-3-540-20194-6.
• Бэкхаус, Роланд; Кроул, Рой Л.; Гиббонс, Джереми , ред. (2002). Алгебраические и коалгебраические методы в математике построения программ: международная летняя школа и семинар Оксфорд, Великобритания, 10–14 апреля 2000 г., пересмотренные лекции . Берлин; Нью-Йорк: Springer. ISBN 978-3-540-43613-3.
• Бэкхаус, Роланд; Оливейра, Хосе Н., ред. (2000). Математика построения программ 2000. Берлин; Нью-Йорк: Springer. ISBN 978-3-540-67727-7.

• Бэкхаус, Р. К.; Карре, Б. А. (1975). «Регулярная алгебра, применяемая к задачам поиска пути». Журнал Института математики и ее приложений . 15 (2): 161– 186. doi :10.1093/imamat/15.2.161.
• Backhouse, R.; Jansson, P.; Jeuring, J.; et al. (1999). "Generic Programming". Advanced Functional Programming [ Информация о конференции: 3-я международная школа Advanced Functional Programming (AFP 98), 12–19 сентября 1998 г., Брага, Португалия ]. Lecture Notes in Computer Science. Vol. 1608. pp.  28–115 . doi :10.1007/10704973_2. ISBN 978-3-540-66241-9.
• Doornbos, H.; Backhouse, R.; vanderWoude, J. (июнь 1997 г.). «Вычислительный подход к математической индукции». Теоретическая информатика . 179 ( 1– 2): 103– 135. doi : 10.1016/s0304-3975(96)00154-5 .
• Backhouse, R. (2002). "Связи Галуа и исчисление неподвижных точек". Алгебраические и коалгебраические методы в математике построения программ [ Информация о конференции: Международная летняя школа и семинар по алгебраическим и коалгебраическим методам в математике построения программ, Дата: 10–14 апреля 2000 г. Оксфордский университет, Оксфорд, Англия ]. Конспект лекций по информатике. Том 2297. С.  89–148. CiteSeerX 10.1.1.108.2022  . doi : 10.1007/3-540-47797-7_4. ISBN 978-3-540-43613-3.
• Doornbos, H.; Backhouse, R. (1996). "Reductivity" [Информация о конференции: 3-я международная конференция по математике построения программ, дата: 17–21 июля 1995 г., Клостер Ирзее, Германия]. Science of Computer Programming . 26 ( 1– 3): 217– 236. doi : 10.1016/0167-6423(95)00027-5 .

• Официальный сайт
• Библиография DBLP по компьютерным наукам