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

Материал из Циклопедии
Перейти к навигации Перейти к поиску

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

Gordon Plotkin
Файл:Gordon Plotkin.jpg
Плоткин в 2005 году
Имя при рождении
Гордон Дэвид Плоткин
Дата рождения
9.9.1946[1]
Место рождения
Глазго, Шотландия



Род деятельности
Логика
Математика
Информатика





Награды и премии

Сайт

homepages.inf.ed.ac.uk/gdp/gdp
inf.ed.ac.uk/people/staff/Gordon Plotkin.html

Гордон Плоткин ([Нет даты!]) — британский учёный в области теоретической информатики. Известен введением структурной операционной семантики (SOS) и работами по денотационной семантике. Лауреат премии Милнера (2012).

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

Плоткин учился в Университете Глазго и Эдинбургском университете. Получил степень бакалавра наук в 1967 году[1] и степень доктора философии в 1972 году под руководством Рода Бёрстолла[2].

Гордон остался работать в Эдинбурге. Вместе с Бёрстоллом и Робином Милнером стал соучредителем Лаборатории основ информатики (LFCS)[3][4][5][6]. Среди его бывших докторантов — Лука Карделли, Филиппа Гарднер, Даг Гурр, Эудженио Моджи[7] и Ли Вэй[2].

Его заметки «Структурный подход к операционной семантике» оказали влияние на развитие области[8][9]. Он внёс вклад во многие другие направления информатики[10][11].

Плоткин был избран членом Лондонского королевского общества в 1992 году и членом Королевского общества Эдинбурга. Является членом Европейской академии[12] и Американской академии искусств и наук[13]. Он также является лауреатом премии Royal Society Wolfson Research Merit Award. Плоткин получил премию Милнера в 2012 году за «фундаментальные исследования в области семантики программирования, оказавшие длительное влияние как на принципы, так и на дизайн языков программирования». В его номинации в Лондонское королевское общество говорится:

Примечания[править]

  1. ↑ 1,0 1,1 Anon Plotkin, Prof. Gordon David. — online. — Oxford: Oxford University Press, 2013. — DOI:10.1093/ww/9780199540884.013.U31011
  2. ↑ 2,0 2,1 Плоткин, Гордонангл. в проекте «Математическая генеалогия»
  3. ↑ (1975) «Call-by-name, call-by-value and the λ-calculus». Theoretical Computer Science 1 (2): 125–159. DOI:10.1016/0304-3975(75)90017-1.
  4. ↑ (2004) «The origins of structural operational semantics». The Journal of Logic and Algebraic Programming 60-61: 3–15. DOI:10.1016/j.jlap.2004.03.009.
  5. ↑ A Structural Approach to Operational Semantics by G.D. Plotkin (1981)
  6. ↑ Program Verification and Semantics: Further Work Архивировано из первоисточника 26 September 2007. (2004)
  7. ↑ Moggi, Eugenio (1999), «The partial lambda calculus», University of Edinburgh 
  8. ↑ Crary, Karl (2007). «Syntactic Logical Relations for Polymorphic and Recursive Types» (en). Electronic Notes in Theoretical Computer Science 172. DOI:10.1016/j.entcs.2007.02.010.
  9. ↑ Curien, Pierre-Louis (April 2022), «Semantics and syntax, between computer science and mathematics», с. 2, <https://curien.galene.org/papers/French-school-PLC.pdf>. Проверено 18 июня 2026. 
  10. ↑ Шаблон:Scopus id
  11. ↑ Symposium for Gordon Plotkin. www.lfcs.inf.ed.ac.uk. Проверено 18 июня 2026.
  12. ↑ Hoffmann, Ilire Hasani, Robert Academy of Europe: Plotkin Gordon. www.ae-info.org. Проверено 18 июня 2026.
  13. ↑ New Members of the American Academy of Arts and Sciences. Проверено 18 июня 2026.
Рувики

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Плоткин, Гордон», расположенная по адресу:

—https://ru.ruwiki.ru/wiki/Плоткин,_Гордон

Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий.

Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».

Источник — http://cyclowiki.org/w/index.php?title=Плоткин,_Гордон&oldid=2680263