Род Берстолл

Род Берстолл
Род Берстолл
Рожденный	Ноябрь 1934 (89 лет ) ; Ливерпуль , Англия
Альма-матер	Кембриджский университет ; Университет Бирмингема
Известный	COWSEL (переименованный в POP-1), POP-2 , NPL , Hope
Награды	ACM SIGPLAN 2009 за достижения в области языков программирования Премия
	Научная карьера
Поля	Информатика
Учреждения	Эдинбургский университет
Докторантура	Н. А. Дадли ; К. Брайан Хейли
Докторанты	Торстен Альтенкирх ; Джон Дарлингтон ; Майк Гордон ; Конор МакБрайд ; Джей Стротер Мур ; Алан Майкрофт ; Гордон Плоткин ; Дон Саннелла
Веб-сайт	https://web.archive.org/web/20210225112350/http://www.freewebs.com/rodburstall/

Родни Мартино « Род » Берстолл (род. 1934) Член Королевского общества Эдинбурга (FRSE) — британский ученый-компьютерщик и один из четырех основателей Лаборатории основ компьютерных наук в Эдинбургском университете . ^[2]

Биография [ править ]

Берстолл изучал физику в Кембриджском университете , затем получил степень магистра наук. в области операционных исследований в Бирмингемском университете . Он проработал три года, прежде чем вернуться в Бирмингемский университет. ^[3] чтобы получить докторскую степень. в 1966 году защитил диссертацию на тему « Эвристика и методы дерева решений на компьютерах: некоторые приложения для операционных исследований» под руководством Н. А. Дадли и К. Б. Хейли. ^[1]

Берстолл был одним из первых и влиятельных сторонников функционального программирования , сопоставления с образцом и понимания списков , а также известен своей работой с Робином Попплстоуном над COWSEL (переименованным в POP-1) и POP-2 , инновационными языками программирования, разработанными в Эдинбургском университете примерно 1970, а позже работал с Джоном Дарлингтоном над NPL и преобразованием программ , а также с Дэвидом МакКуином и Доном Саннеллой над Hope , предшественником Standard ML , Miranda и Haskell . ^[4]

В 1995 году он был избран членом Королевского общества Эдинбурга . ^[5]

Берстолл вышел на пенсию в 2000 году, став почетным профессором.

В 2002 году Дэвид Райдхард и Дон Саннелла составили праздничный сборник для Берстолла, который был опубликован в журнале «Формальные аспекты вычислений» . ^[4]

В 2009 году он был награжден премией Ассоциации вычислительной техники (ACM) SIGPLAN за достижения в области языков программирования. ^[6]^[7]

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

Май 1971: Программирование в POP-11 , издательство Эдинбургского университета .
1980: (с Аланом Банди ) Искусственный интеллект: вводный курс , издательство Эдинбургского университета.
1988: (совместно с Д.Э. Райдхеардом) Теория вычислительных категорий , Прентис-Холл , ISBN 978-0131627369 .

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

↑ Перейти обратно: Перейти обратно: ^а ^б Род Берстолл в проекте «Математическая генеалогия»
^ Керс, Элеонора (2002). «Ода Роду Берстоллу». Формальные аспекты вычислений . 13 (3–5). Springer Science+Business Media : 194. doi : 10.1007/s001650200007 . S2CID 917027 .
^ «Домашняя страница Рода Берстолла» . Эдинбургский университет . Проверено 31 октября 2012 г.
↑ Перейти обратно: Перейти обратно: ^а ^б Д. Райдхард и Дон Саннелла (июль 2002 г.) «Сборник статей и мемуаров, посвященных вкладу Рода Берстолла в достижения в области компьютерных наук», Формальные аспекты вычислений 13 (3-5): 187–193 два : 10.1007/s001650200006
^ «Профессор Родни Мартино Берстолл FRSE - Королевское общество Эдинбурга» . Королевское общество Эдинбурга . Проверено 12 марта 2018 г.
^ «Награда за достижения в области языков программирования SIGPLAN – 2009: Род Берстолл» . Ассоциация вычислительной техники (ACM) SIGPLAN . Проверено 22 сентября 2012 г.
^ Уоллес, Малькольм. «Награда за достижения в области языков программирования SIGPLAN: Род Берстолл» . Вимео . Проверено 22 сентября 2012 г. Представлено Филипом Уодлером . {{cite web}}: CS1 maint: постскриптум ( ссылка )

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

Домашняя страница Эдинбургского университета (в архиве)
Домашняя страница Рода Берстолла (в архиве)
Род М. Берстолл на DBLP библиографическом сервере

Эта статья о биографии ученого из Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее .

Эта статья о компьютерном специалисте из Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее .

[mg-1] Перейти обратно: Перейти обратно: ^а ^б Род Берстолл в проекте «Математическая генеалогия»

[2] Керс, Элеонора (2002). «Ода Роду Берстоллу». Формальные аспекты вычислений . 13 (3–5). Springer Science+Business Media : 194. doi : 10.1007/s001650200007 . S2CID 917027 .

[3] «Домашняя страница Рода Берстолла» . Эдинбургский университет . Проверено 31 октября 2012 г.

[fest-4] Перейти обратно: Перейти обратно: ^а ^б Д. Райдхард и Дон Саннелла (июль 2002 г.) «Сборник статей и мемуаров, посвященных вкладу Рода Берстолла в достижения в области компьютерных наук», Формальные аспекты вычислений 13 (3-5): 187–193 два : 10.1007/s001650200006

[5] «Профессор Родни Мартино Берстолл FRSE - Королевское общество Эдинбурга» . Королевское общество Эдинбурга . Проверено 12 марта 2018 г.

[6] «Награда за достижения в области языков программирования SIGPLAN – 2009: Род Берстолл» . Ассоциация вычислительной техники (ACM) SIGPLAN . Проверено 22 сентября 2012 г.

[7] Уоллес, Малькольм. «Награда за достижения в области языков программирования SIGPLAN: Род Берстолл» . Вимео . Проверено 22 сентября 2012 г. Представлено Филипом Уодлером . {{cite web}}: CS1 maint: постскриптум ( ссылка )

[1]

[2]

[3]

[4]

[5]

[6]

[7]

Базы данных авторитетного контроля
International	ISNI VIAF WorldCat
National	Germany Israel United States Netherlands
Academics	Association for Computing Machinery DBLP MathSciNet Mathematics Genealogy Project zbMATH
Other	IdRef