Род Берстолл - Rod Burstall

Род Берстолл
Родился Ноябрь 1934 г. (возраст  ( 1934-11 )86)
Национальность Британский
Альма-матер Кембриджский
университет Бирмингемского университета
Научная карьера
Поля Информатика
Учреждения Эдинбургский университет
Докторант NA Дадли
К. Брайан Хейли
Докторанты Торстен Альтенкирх (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) является британским ученым и один из четырех основателей Лаборатории Основы информатики на Эдинбургском университете .

биография

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

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

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

Берстолл вышел на пенсию в 2000 году, став заслуженным профессором, и теперь большую часть времени проводит в Шотландии и Франции .

В 2002 году Дэвид Rydeheard и Дон Саннелла собрали Festschrift для Rod Burstall , которая была опубликована в формальных аспектах вычислений .

В 2009 году он был награжден премией ACM SIGPLAN Programming Language Achievement Award.

Книги

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

использованная литература

внешние ссылки