Роланд Карл Бэкхаус - Roland Carl Backhouse - Wikipedia
Роланд Карл Бэкхаус | |
---|---|
Роланд Бэкхаус, 2009 | |
Родившийся | |
Гражданство | Великобритания Нидерланды |
Образование | Черчилль-колледж, Кембридж Имперский колледж Лондон |
Известен | Построение программы Решение алгоритмических задач АЛГОЛ |
Супруг (а) | Хилари |
Дети | 3 |
Научная карьера | |
Поля | Информатика, математика |
Учреждения | Royal Aircraft Establishment Университет Хериот-Ватт Университет Эссекса Гронингенский университет Эйндховенский технологический университет Ноттингемский университет |
Докторант | Джим Каннингем |
Влияния | Т. Дж. (Пэдди) Макдональд, Эдсгер В. Дейкстра, Дэвид Грис, Тони Хоар |
Интернет сайт | www |
Роланд Карл Бэкхаус (родился 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 году.
Рекомендации
- ^ "Роланд Бэкхаус". Ноттингемский университет. Получено 19 февраля 2020.
- ^ "Роланд Бэкхаус: Школа компьютерных наук". Ноттингемский университет. Получено 19 февраля 2020.
- ^ Jeuring, Йохан; Меертенс, Ламберт; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 IFIP». Фосвики. Получено 10 сентября 2020.
- ^ 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.