Род Берстолл | |
---|---|
Родившийся | Ноябрь 1934 г. (возраст | 86)
Национальность | Британский |
Альма-матер | Кембриджский университет Бирмингемского университета |
Научная карьера | |
Поля | Информатика |
Учреждения | Эдинбургский университет |
Докторант | Н. А. Дадли К. Брайан Хейли [1] |
Докторанты | Торстен Альтенкирх (1993) Рэймонд Обин (1976) Джон Дарлингтон (1972) Мартин Перо (1979) Хилфден Гогуэн (1994) Майк Гордон (1973) Масахито Хасегава (1997) Томас Клейманн (1998) Чжаохуй Луо (1990) Майкл Мендлер (1993) Конор Макбрайд (1999) Джеймс МакКинна (1992) Джей Стротер Мур (1973) Алан Майкрофт (1982) Гордон Плоткин (1972) Рэнди Поллак (1995) Брайан Ричи (1988) Дэвид Райдхард (1982) Дон Саннелла (1982) Макото Такеяма (1995) ) Родни Топор (1975) |
Интернет сайт | http://www.freewebs.com/rodburstall/ |
Родни Мартино « Род » Burstall FRSE (родился 1934) является британским ученым и один из четырех основателей Лаборатории Основы информатики на Эдинбургском университете . [2]
Биография [ править ]
Берстолл изучал физику в Кембриджском университете , затем получил степень магистра наук. в оперативных исследований в университете Бирмингема . Он проработал три года, прежде чем вернуться в Бирмингемский университет [3], чтобы получить степень доктора философии. в 1966 г. защитил диссертацию на тему « Эвристические методы и методы дерева решений на компьютерах: некоторые приложения для операционных исследований» под руководством Н. А. Дадли и К. Б. Хейли. [1]
Берстолл был одним из первых и влиятельных сторонников функционального программирования , сопоставления с образцами и понимания списков , и известен своей работой с Робином Попплстоуном над POP , инновационным языком программирования, разработанным в Эдинбурге около 1970 года, а позже работал с Джоном Дарлингтоном над NPL и программой преобразование и с Дэвидом Маккуином и Доном Саннеллой в Hope , предшественнике Standard ML , Miranda и Haskell . [4]
В 1995 году он был избран членом Королевского общества Эдинбурга . [5]
Берстолл вышел на пенсию в 2000 году, став заслуженным профессором, и теперь большую часть времени проводит в Шотландии и Франции .
В 2002 году Дэвид Rydeheard и Дон Саннелла собрали Festschrift для Rod Burstall , которая была опубликована в формальных аспектах вычислений . [4]
В 2009 году он был награжден премией ACM SIGPLAN Programming Language Achievement Award. [6] [7]
Книги [ править ]
- Май 1971: Программирование в POP-11 , Edinburgh University Press .
- 1980: (с Аланом Банди ) Искусственный интеллект: вводный курс , Edinburgh University Press.
- 1988: (совместно с Д. Е. Райдхардом) Теория вычислительных категорий , Прентис-Холл , ISBN 978-0131627369 .
Ссылки [ править ]
- ^ a b Род Берстолл в проекте « Математическая генеалогия»
- ^ КЕРС, Элеонора (2002). «Ода Роду Берстоллу». Формальные аспекты вычислений . 13 (3-5). Springer . п. 194. DOI : 10.1007 / s001650200007 .
- ^ "Домашняя страница Рода Берстолла" . Эдинбургский университет . Проверено 31 октября 2012 года .
- ^ a b Д. Райдхард и Дон Саннелла (июль 2002 г.) «Сборник статей и мемуаров, посвященных вкладу Рода Берстолла в достижения в области компьютерных наук», формальные аспекты вычислений 13 (3-5): 187–193 doi : 10.1007 / s001650200006
- ^ "Профессор Родни Мартино Берстолл FRSE - Королевское общество Эдинбурга" . Королевское общество Эдинбурга . Проверено 12 марта 2018 .
- ^ "Премия за достижения в области языков программирования SIGPLAN - 2009: Род Берстолл" . ACM SIGPLAN . Проверено 22 сентября 2012 года .
- ^ Уоллес, Малькольм. «Награда за достижения в области языков программирования SIGPLAN: Род Берстолл» . Vimeo . Проверено 22 сентября 2012 года . Представлен Филипом Вадлером .
Внешние ссылки [ править ]
- Домашняя страница Эдинбургского университета
- Домашняя страница Рода Берстола
- Род М. Burstall на DBLP Библиография сервера