Роланд Карл Бэкхаус
редактировать
Роланд Карл Бэкхаус (родился 18 августа 1948 года) - британский компьютерный ученый и математик. По состоянию на 2020 год он Emeritus профессор компьютерных наук в Университете Ноттингема.
Содержание
- 1 Ранняя жизнь и образование
- 2 Карьера
- 3 Личная жизнь
- 4 Академические интересы
- 5 Ссылки
- 6 Публикации
- 6.1 Книги
- 6.2 Отредактированные книги
- 6.3 Избранные статьи
- 7 Внешние ссылки
Ранняя жизнь и образование
Бэкхаус родился и вырос в районе Торнтри Мидлсбро, промышленного города на северо-востоке Англии. В 1959 году он получил место в тогдашней мужской гимназии Аклама Холла, а в 1966 году поступил в Черчилль-колледж в Кембридже. Его докторская степень (Ph.D.) была завершена под руководством Джима Каннингема в Имперском колледже Лондона.
Карьера
Карьера Бэкхауса включала Royal Aircraft Establishment (1969–1970), Университет Хериот-Ватт (1973–1982), Эссекский университет (1982–1986). Ранее он был профессором компьютерных наук в Университете Гронингена (1986–1990) и Технологическом университете Эйндховена (1990–1999) в Нидерландах, а раньше его должность в Ноттингемском университете.
Он был членом Международной федерации обработки информации (IFIP) Рабочая группа 2.1 IFIP по алгоритмическим языкам и исчислениям, которая указала, поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68.
Личная жизнь
Бэкхаус женат на Хилари, урожденной Митчелл. У них трое сыновей, Кевин, Эндрю и Дэвид.
Академические интересы
Его исследовательские интересы лежат в области математики построения программ и алгоритмического решения проблем. Вместе с Яном Л.А. ван де Снепшютом (1953–1994) он начал проводимую раз в два года серию конференций по математике построения программ, первая из которых была проведена в 1989 году.
Ссылки
Публикации
Книги
- Бэкхаус, Роланд (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.
Отредактированные книги
- Backhouse, Roland; Гиббонс, Джереми ; Хинце, Ральф; Jeuring, Johan, ред. (2007). Типовое программирование: Международная весенняя школа, SSDGP 2006, Ноттингем, Великобритания, 24–27 апреля 2006 г., исправленные лекции. Международная весенняя школа по программированию типов данных. Берлин: Springer. ISBN 978-3-540-76785-5.
- Backhouse, Roland; Гиббонс, Джереми, ред. (2003). Общее программирование: расширенные лекции [лекции, прочитанные на Летней школе по общему программированию, проведенной в Оксфордском университете в августе 2002 г.]. Летняя школа по общему программированию. Берлин: Springer. ISBN 978-3-540-20194-6.
- Backhouse, Roland; Crole, Roy L.; Гиббонс, Джереми, ред. (2002). Алгебраические и коалгебраические методы в математике построения программ: международная летняя школа и семинар Оксфорд, Великобритания, 10–14 апреля 2000 г., переработанные лекции. Берлин; Нью-Йорк: Спрингер. ISBN 978-3-540-43613-3.
- Backhouse, Roland; Оливейра, Хосе Н., ред. (2000). Математика построения программ 2000. Берлин; Нью-Йорк: Спрингер. ISBN 978-3-540-67727-7.
Избранные статьи
- Backhouse, R.C.; Карре, Б.А. (1975). «Регулярная алгебра применительно к задачам поиска пути». Журнал Института математики и его приложений. 15 (2): 161–186. doi : 10.1093 / imamat / 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 г. Оксфордский университет, Оксфорд, Англия]. Алгебраические и коалгебраические методы в математике построения программ. Конспект лекций по информатике. 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.
Внешние ссылки