Из Википедии, свободной энциклопедии
Перейти к навигации Перейти к поиску

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

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

Ранняя жизнь и образование [ править ]

Бэкхаус родился и вырос в районе Торнтри в Мидлсбро, промышленном городе на северо-востоке Англии. В 1959 году он получил место в тогдашней мужской гимназии Аклама Холла , а в 1966 году поступил в Черчилль-колледж в Кембридже. Получил докторскую степень под руководством Джима Каннингема в Имперском колледже Лондона .

Карьера [ править ]

Карьера Бэкхауса включала в себя Royal Aircraft Establishment (1969–1970), Университет Хериот-Ватт (1973–1982), Университет Эссекса (1982–1986). Ранее он был профессором компьютерных наук в Университете Гронингена (1986–1990) и Технологическом университете Эйндховена (1990–1999) в Нидерландах , а затем работал в Ноттингемском университете.

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

Личная жизнь [ править ]

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

Академические интересы [ править ]

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

Ссылки [ править ]

  1. ^ "Роланд Бэкхаус" . Ноттингемский университет . Дата обращения 19 февраля 2020 .
  2. ^ «Роланд Бэкхаус: Школа компьютерных наук» . Ноттингемский университет . Дата обращения 19 февраля 2020 .
  3. ^ Jeuring, Йохан; Меертенс, Ламберт ; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП» . Фосвики . Проверено 10 сентября 2020 .
  4. ^ Swierstra, Doaitse; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki" . Фосвики . Проверено 10 сентября 2020 .

Публикации [ править ]

Книги [ править ]

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

Книги отредактированы [ править ]

  • Бэкхаус, Роланд; Гиббонс, Джереми ; Хинце, Ральф; Jeuring, Johan, ред. (2007). Типовое программирование: Международная весенняя школа, SSDGP 2006, Ноттингем, Великобритания, 24–27 апреля 2006 г., исправленные лекции . Международная весенняя школа по программированию типов данных. Берлин: Springer. ISBN 978-3-540-76785-5.
  • Бэкхаус, Роланд; Гиббонс, Джереми , ред. (2003). Общее программирование: расширенные лекции [лекции, прочитанные на Летней школе по общему программированию, проведенной в Оксфордском университете в августе 2002 г.] . Летняя школа по общему программированию. Берлин: Springer. ISBN 978-3-540-20194-6.
  • Бэкхаус, Роланд; Crole, Roy L .; Гиббонс, Джереми , ред. (2002). Алгебраические и коалгебраические методы в математике построения программ: международная летняя школа и семинар Оксфорд, Великобритания, 10–14 апреля 2000 г., переработанные лекции . Берлин; Нью-Йорк: Спрингер. ISBN 978-3-540-43613-3.
  • Бэкхаус, Роланд; Оливейра, Хосе Н., ред. (2000). Математика построения программ 2000 . Берлин; Нью-Йорк: Спрингер. ISBN 978-3-540-67727-7.

Избранные статьи [ править ]

  • Backhouse, RC; Карре, BA (1975). «Регулярная алгебра применительно к задачам поиска пути». Журнал Института математики и его приложений . 15 (2): 161–186. DOI : 10.1093 / имамата / 15.2.161 .
  • Backhouse, R .; Jansson, P .; Jeuring, J .; и другие. (1999). Общее программирование - Введение [ Информация о конференции: 3-я Международная школа расширенного функционального программирования (AFP 98), 12–19 сентября 1998 г., Брага, Португалия ]. Расширенное функциональное программирование . Конспект лекций по информатике. 1608 . С. 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 .
  • Бэкхаус, Р. (2002). «Связности Галуа и исчисление неподвижной точки». Алгебраические и коалгебраические методы в математике построения программ: Международная летняя школа и семинар, Оксфорд, Великобритания, 10-14 апреля 2000 г., исправленные лекции [ Информация о конференции: Международная летняя школа и семинар по алгебраическим и коалгебраическим методам в математике построения программ , Дата: 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 .; Бэкхаус, Р. (1996). "Редуктивность" [Информация о конференции: 3-я Международная конференция по математике построения программ, дата: 17–21 июля 1995 г., Клостер Ирзее, Германия]. Наука компьютерного программирования . 26 (1–3): 217–236. DOI : 10.1016 / 0167-6423 (95) 00027-5 .

Внешние ссылки [ править ]

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