Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

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

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

Образование [ править ]

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

Карьера и исследования [ править ]

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

Награды и награды [ править ]

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

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

Ссылки [ править ]

  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 года.