Гордон Плоткин - Gordon Plotkin

Гордон Плоткин

Гордон Плоткин.jpg
На конференции MFCS 2005
Родившийся
Гордон Дэвид Плоткин

( 1946-09-09 )9 сентября 1946 г. (74 года)
Национальность Британский
Альма-матер Университет Глазго (бакалавр)
Эдинбургский университет (доктор философии)
Известен Программирование вычислимых функций
Неограниченный недетерминизм
Операционная семантика
Теория предметной области
Награды
Научная карьера
Поля Логика
Математика
Информатика
Учреждения Эдинбургский университет
Лаборатория основ компьютерных наук
Школа информатики
Университета Глазго
Тезис Автоматические методы индуктивного вывода  (1972)
Докторант
Докторанты
Веб-сайт домашние страницы .inf .ed .ac .uk / gdp
inf .ed .ac .uk / people / staff / Gordon _Plotkin .html

Гордон Дэвид Плоткин , FRS FRSE МАЭ (родился 9 сентября 1946) теоретический ученый в школе информатики в Эдинбургском университете . Плоткин, вероятно, наиболее известен своим введением структурной операционной семантики (SOS) и своей работой над денотационной семантикой . В частности, его заметки о структурном подходе к операционной семантике оказали большое влияние. Он внес свой вклад во многие другие области информатики .

Образование

Плоткин получил образование в Университете Глазго и Эдинбургском университете , получив степень бакалавра наук в 1967 году и докторскую степень в 1972 году под руководством Рода Берстолла .

Карьера и исследования

Плоткин остался в Эдинбурге и вместе с Берстоллом и Робином Милнером был соучредителем Лаборатории основ информатики (LFCS). Среди его бывших докторантов - Лука Карделли , Филиппа Гарднер , Дуг Гурр , Эудженио Моджи и Лу Вей .

Награды и почести

Плоткин был избран членом Королевского общества (FRS) в 1992 году, а также членом Королевского общества Эдинбурга (FRSE) и является членом Academia Europæa . Он также является лауреатом премии Королевского общества за заслуги перед исследованием Вольфсона . Плоткин получил премию Милнера в 2012 году за «фундаментальное исследование семантики программирования, оказавшее длительное влияние как на принципы, так и на дизайн языков программирования». Его номинация в Королевское общество гласит:

Плоткин внес вклад в области искусственного интеллекта, логики, лингвистики и особенно компьютерных наук. В AI он работал над формированием гипотез и универсальным объединением; в логике, на каркасах для произвольной логики; в лингвистике, по формализации теории ситуаций . Его главный общий вклад заключался в создании семантической основы для компьютерных наук, особенно языков программирования. Особо важные результаты получены в лямбда-исчислении (элементарные модели, определимость, вызов по значению ), недетерминизме ( теория степенной области ), семантических формализмах (структурированная операционная семантика , метаязыки) и категориях семантических областей (когерентная, про- конечный, бетонный). Дальнейшие статьи касаются семантической парадигмы полной абстракции, теории параллелизма (структуры событий), логики программирования и теории типов .

Рекомендации

  1. ^ а б в Анон (2013). "Плоткин, профессор Гордон Дэвид" . Кто есть кто . ukwhoswho.com (онлайн- издательство Oxford University Press  ). A&C Black, отпечаток Bloomsbury Publishing plc. DOI : 10.1093 / ww / 9780199540884.013.U31011 . ( требуется подписка или членство в публичной библиотеке Великобритании ) (требуется подписка)
  2. ^ a b c Гордон Плоткин в проекте « Математическая генеалогия»
  3. ^ a b Плоткин, Гордон Дэвид (1972). Автоматические методы индуктивного вывода (кандидатская диссертация). Эдинбургский университет. hdl : 1842/6656 . EThOS  uk.bl.ethos.482992 . Бесплатно читать
  4. ^ a b Карделли, Лука (1982). Алгебраический подход к описанию и проверке оборудования (кандидатская диссертация). Эдинбургский университет. ЛВП : 1842/13308 . EThOS  uk.bl.ethos.253190 .
  5. ^ a b Гарднер, Филиппа (1992). Представление логики в теории типов (кандидатская диссертация). Эдинбургский университет. hdl : 1842/14888 . EThOS  uk.bl.ethos.651333 . Бесплатно читать
  6. ^ a b Gurr, Дуглас Джон (1990). Семантические рамки сложности (кандидатская диссертация). Эдинбургский университет. hdl : 1842/13968 . OCLC  475827463 . EThOS  uk.bl.ethos.651894 . Бесплатно читать
  7. ^ a b Моджи, Эухенио (1999). Частичное лямбда-исчисление (кандидатская диссертация). Эдинбургский университет. hdl : 1842/419 .
  8. ^ а б Вэй, Lǐ (1983). Оперативный подход к семантике и переводу для языков программирования (кандидатская диссертация). ЛВП : 1842/6636 .
  9. ^ Публикации Гордона Плоткина, проиндексированные Google Scholar Отредактируйте это в Викиданных
  10. ^ Страница профиля автора Гордона Плоткина вцифровой библиотеке ACM
  11. ^ Гордон Плоткин публикации индексированных Scopus библиографической базы данных. (требуется подписка)
  12. ^ Гордон Д. Плоткин насервере библиографии DBLPОтредактируйте это в Викиданных
  13. ^ Митчелл, JC ; Плоткин Г.Д. (1988). «Абстрактные типы имеют экзистенциальный тип». Транзакции ACM по языкам и системам программирования . 10 (3): 470. DOI : 10,1145 / 44501,45065 . S2CID  1222153 .
  14. ^ Абади, Миннесота ; Берроуз, М .; Лэмпсон, Б .; Плоткин, Г. (1993). «Расчет для контроля доступа в распределенных системах» (PDF) . Транзакции ACM по языкам и системам программирования . 15 (4): 706. CiteSeerX  10.1.1.72.3756 . DOI : 10.1145 / 155183.155225 . hdl : 1842/207 . S2CID  13260508 .
  15. ^ "Симпозиум Гордона Плоткина" . www.lfcs.inf.ed.ac.uk .
  16. Плоткин, GD (1975). «Запрос по имени, вызов по значению и λ-исчисление» . Теоретическая информатика . 1 (2): 125–159. DOI : 10.1016 / 0304-3975 (75) 90017-1 .
  17. Плоткин, GD (2004). «Истоки структурной операционной семантики» . Журнал логического и алгебраического программирования . 60–61: 3–15. DOI : 10.1016 / j.jlap.2004.03.009 .
  18. ^ Структурный подход к операционной семантике Г. Д. Плоткина (1981)
  19. ^ Проверка программы и семантика: Дальнейшая работа, архивная 26 сентября 2007 г. на Wayback Machine (2004)
  20. ^ Хоффманн, Илире Хасани, Роберт. «Академия Европы: Плоткин Гордон» . www.ae-info.org .
  21. ^ "- Королевское общество" . royalsociety.org .
  22. ^ "EC / 1992/29: Плоткин, Гордон Дэвид" . Лондон: Королевское общество. Архивировано из оригинального 16 апреля 2014 года.