Роланд Карл Бэкхаус - Википедия - Roland Carl Backhouse

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

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

ранняя жизнь и образование

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

Карьера

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

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

Личная жизнь

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

Академические интересы

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

Рекомендации

  1. ^ "Роланд Бэкхаус". Ноттингемский университет. Получено 19 февраля 2020.
  2. ^ "Роланд Бэкхаус: Школа компьютерных наук". Ноттингемский университет. Получено 19 февраля 2020.
  3. ^ Jeuring, Йохан; Меертенс, Ламберт; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 IFIP». Фосвики. Получено 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 International серия по информатике. Энглвуд Клиффс, Нью-Джерси: 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, R.C .; Карре, Б.А. (1975). «Регулярная алгебра применительно к задачам поиска пути». Журнал Института математики и его приложений. 15 (2): 161–186. Дои:10.1093 / imamat / 15.2.161.
  • Backhouse, R .; Jansson, P .; Jeuring, J .; и другие. (1999). Общее программирование - Введение [Информация о конференции: 3-я Международная школа продвинутого функционального программирования (AFP 98), 12–19 сентября 1998 г., Брага, Португалия.]. Расширенное функциональное программирование. Конспект лекций по информатике. 1608. С. 28–115. Дои:10.1007/10704973_2. ISBN  978-3-540-66241-9.
  • Doornbos, H .; Backhouse, R .; vanderWoude, J. (июнь 1997 г.). «Вычислительный подход к математической индукции». Теоретическая информатика. 179 (1–2): 103–135. Дои:10.1016 / с0304-3975 (96) 00154-5.
  • Бэкхаус, Р. (2002). «Связности Галуа и исчисление неподвижной точки». Алгебраические и коалгебраические методы в математике построения программ: Международная летняя школа и семинар, Оксфорд, Великобритания, 10-14 апреля 2000 г., Исправленные лекции [Информация о конференции: Международная летняя школа и семинар по алгебраическим и коалгебраическим методам в математике построения программ, дата: 10–14 апреля 2000 г. Оксфордский университет, Оксфорд, Англия]. Алгебраические и коалгебраические методы в математике построения программ. Конспект лекций по информатике. 2297. С. 89–148. CiteSeerX  10.1.1.108.2022. Дои: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. Дои:10.1016/0167-6423(95)00027-5.

внешняя ссылка