Области знаний
Партнёрские проектыМатериалы БРЭСпецпроектыСтать автором
Настроить видСменить языкИнформация
О РУВИКИ
Найти статью

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

Pause

Гордон Плоткин (род. 9 сентября 1946 или 1946[2], Глазго, Шотландия, Великобритания) — британский учёный в области теоретической информатики. Известен введением структурной операционной семантики (SOS) и работами по денотационной семантике. Лауреат премии Милнера (2012).

Общие сведения
Что важно знать
Гордон Плоткин
Gordon Plotkin
Имя при рождении Гордон Дэвид Плоткин
Дата рождения 9.9.1946[1]
Место рождения Глазго, Шотландия
Страна
Образование
Род деятельности Логика
Математика
Информатика
Награды и премии
Сайт homepages.inf.ed.ac.uk/gdp
inf.ed.ac.uk/people/staff/Gordon_Plotkin.html

Биография

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

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

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

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

Примечания

  1. ↑ 1 2 Anon. Plotkin, Prof. Gordon David. — online. — Oxford: Oxford University Press, 2013. — doi:10.1093/ww/9780199540884.013.U31011.
  2. ↑ Plotkin, G. // Чешская национальная авторитетная база данных
  3. ↑ 1 2 Плоткин, Гордон (англ.) в проекте «Математическая генеалогия»
  4. ↑ Plotkin, G. D. (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.
  5. ↑ Plotkin, G. D. (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.
  6. ↑ A Structural Approach to Operational Semantics by G.D. Plotkin (1981)
  7. ↑ Program Verification and Semantics: Further Work Архивировано 26 сентября 2007 года. (2004)
  8. ↑ Moggi, Eugenio (1999). The partial lambda calculus (PhD thesis). University of Edinburgh. HDL:1842/419.
  9. ↑ Crary, Karl; Harper, Robert (2007). “Syntactic Logical Relations for Polymorphic and Recursive Types”. Electronic Notes in Theoretical Computer Science [англ.]. 172: 259. DOI:10.1016/j.entcs.2007.02.010.
  10. ↑ 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. 
  11. ↑ Плоткин, Гордон: публикации, проиндексированные библиографической базой данных Scopus.  (требуется подписка)
  12. ↑ Symposium for Gordon Plotkin. www.lfcs.inf.ed.ac.uk. Дата обращения: 18 июня 2026.
  13. ↑ Hoffmann, Ilire Hasani, Robert Academy of Europe: Plotkin Gordon. www.ae-info.org. Дата обращения: 18 июня 2026.
  14. ↑ New Members of the American Academy of Arts and Sciences. Дата обращения: 18 июня 2026.

Дополнительно по теме

Категории

Pause