Роланд Карл Бэкхаус
Роланд Карл Бэкхаус | |
|---|---|
 Роланд Бэкхаус, 2009 г. | |
| Рожденный | 18 августа 1948 г. |
| Гражданство | Великобритания Нидерланды |
| Образование | Черчилль-колледж, Кембридж Имперский колледж Лондона |
| Известный | Построение программы Алгоритмическое решение задач АЛГОЛ |
| Супруг | Хилари |
| Дети | 3 |
| Научная карьера | |
| Поля | Информатика , математика |
| Учреждения | Королевское авиационное предприятие Университет Хериот-Ватт Университет Эссекса Университет Гронингена Эйндховенский технологический университет Ноттингемский университет |
| Докторантура | Джим Каннингем |
| Веб-сайт | www |
Роланд Карл Бэкхаус (родился 18 августа 1948 года) — британский ученый-компьютерщик и математик . По состоянию на 2020 год [update]Он является почетным профессором вычислительной техники в Ноттингемском университете . [1] [2]
Молодость образование и
Бэкхаус родился и вырос в районе Торнтри в Мидлсбро, промышленном городе на северо-востоке Англии. В 1959 году он поступил в тогдашнюю мужскую гимназию Аклам-Холл, а затем в 1966 году поступил в Черчилль-колледж в Кембридже . Его докторская степень (Ph.D.) была получена под руководством Джима Каннингема в Имперском колледже Лондона .
Карьера [ править ]
Карьера Бэкхауса включала Королевское авиационное учреждение (1969–1970), Университет Хериот-Ватт (1973–1982), Университет Эссекса (1982–1986). Ранее он был профессором компьютерных наук в Гронингенском университете (1986–1990) и Эйндховенском технологическом университете (1990–1999) в Нидерландах , а затем занял должность в Ноттингемском университете.
Он был членом Международной федерации обработки информации (IFIP) Рабочей группы 2.1 по алгоритмическим языкам и исчислениям. [3] которая определила , поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68 . [4]
Личная жизнь [ править ]
Бэкхаус женат на Хилари, урожденной Митчелл. У них трое сыновей: Кевин, Эндрю и Дэвид .
Академические интересы [ править ]
Его исследовательские интересы лежат в области математики построения программ и алгоритмического решения задач. Вместе с Яном Л.А. ван де Снепшеутом (1953–1994) он начал проводить раз в два года серию конференций по математике построения программ, первая из которых состоялась в 1989 году.
Ссылки [ править ]
- ^ «Роланд Бэкхаус» . Университет Ноттингема . Проверено 19 февраля 2020 г.
- ^ «Роланд Бэкхаус: Школа компьютерных наук» . Университет Ноттингема . Проверено 19 февраля 2020 г.
- ^ Юринг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 10 сентября 2020 г.
- ^ Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (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 .
Книги отредактированы [ править ]
- Бэкхаус, Роланд; Гиббонс, Джереми ; Хинце, Ральф; Жеринг, Йохан, ред. (2007). Общее программирование типов данных: международная весенняя школа, SSDGP 2006, Ноттингем, Великобритания, 24–27 апреля 2006 г., исправленные лекции . Международная весенняя школа по программированию на основе типов данных. Берлин: Шпрингер. ISBN 978-3-540-76785-5 .
- Бэкхаус, Роланд; Гиббонс, Джереми , ред. (2003). Универсальное программирование: продвинутые лекции [лекции, прочитанные на Летней школе по универсальному программированию, проходившей в Оксфордском университете в августе 2002 г.] . Берлин: Шпрингер. ISBN 978-3-540-20194-6 .
- Бэкхаус, Роланд; Крол, Рой Л.; Гиббонс, Джереми , ред. (2002). Алгебраические и коалгебраические методы в математике построения программ: международная летняя школа и семинар Оксфорд, Великобритания, 10–14 апреля 2000 г., пересмотренные лекции . Берлин; Нью-Йорк: Спрингер. ISBN 978-3-540-43613-3 .
- Бэкхаус, Роланд; Оливейра, Хосе Н., ред. (2000). Математика построения программ 2000 . Берлин; Нью-Йорк: Спрингер. ISBN 978-3-540-67727-7 .
Избранные статьи [ редактировать ]
- Бэкхаус, Р.К.; Карре, бакалавр искусств (1975). «Регулярная алгебра, применяемая к задачам поиска пути». Журнал Института математики и ее приложений . 15 (2): 161–186. дои : 10.1093/имамат/15.2.161 .
- Бэкхаус, Р.; Янссон, П.; Джуринг, Дж.; и др. (1999). «Общее программирование». Расширенное функциональное программирование [ Информация о конференции: 3-я Международная школа расширенного функционального программирования (AFP 98), 12–19 сентября 1998 г., Брага, Португалия ]. Конспекты лекций по информатике. Том. 1608. стр. 28–115. дои : 10.1007/10704973_2 . ISBN 978-3-540-66241-9 .
- Дорнбос, Х.; Бэкхаус, Р.; ВандерВуде, Дж. (июнь 1997 г.). «Вычислительный подход к математической индукции» . Теоретическая информатика . 179 (1–2): 103–135. дои : 10.1016/s0304-3975(96)00154-5 .
- Бэкхаус, Р. (2002). «Связи Галуа и исчисление фиксированных точек». Алгебраические и коалгебраические методы в математике построения программ [ Информация о конференции: Международная летняя школа и семинар по алгебраическим и коалгебраическим методам в математике построения программ, дата: 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 .
- Дорнбос, Х.; Бэкхаус, Р. (1996). «Редуктивность» [Информация о конференции: 3-я Международная конференция по математике построения программ, дата: 17–21 июля 1995 г., Клостер Ирзее, Германия]. Наука компьютерного программирования . 26 (1–3): 217–236. дои : 10.1016/0167-6423(95)00027-5 .
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
