Гордон Плоткин
Гордон Плоткин | |
|---|---|
 Плоткин в 2005 году | |
| Рожденный | Гордон Дэвид Плоткин 9 сентября 1946 г. [8] Глазго , Шотландия |
| Альма-матер | Университет Глазго (бакалавр) Эдинбургский университет (доктор философии) |
| Известный | Программирование вычислимых функций Неограниченный недетерминизм Операционная семантика Теория предметной области |
| Награды | |
| Научная карьера | |
| Поля | Логика Математика Информатика |
| Учреждения | Эдинбургский университет Лаборатория основ информатики Школа информатики Университет Глазго |
| Диссертация | Автоматические методы индуктивного вывода (1972) |
| Докторантура | |
| Докторанты | |
| Веб-сайт | домашние страницы инфа |
Гордон Дэвид Плоткин , ФРС ФРСЭ МАЭ (родился 9 сентября 1946 г.) [8] — учёный-теоретик в Школе информатики университета Эдинбургского . Плоткин, вероятно, наиболее известен своим введением структурной операционной семантики (SOS) и работой над денотационной семантикой . его заметки «Структурный подход к операционной семантике» . В частности, большое влияние оказали [9] [10] Он внес вклад во многие другие области информатики . [11] [12] [13] [14] [15] [16] [17]
Образование
[ редактировать ]Плоткин получил образование в Университете Глазго и Эдинбургском университете , получив степень бакалавра наук в 1967 году. [8] и доктор философии в 1972 г. [2] под руководством Рода Берстолла . [1]
Карьера и исследования
[ редактировать ]Плоткин остался в Эдинбурге и вместе с Берстоллом и Робином Милнером стал соучредителем Лаборатории основ компьютерных наук (LFCS). [18] [19] [20] [21] Среди его бывших докторантов Лука Карделли , [3] Филиппа Гарднер , [4] Даг Гурр , [5] Эухенио Моджи , [6] и Лю Вэй . [7] [1]
Награды и почести
[ редактировать ]Плоткин был избран членом Королевского общества (FRS) в 1992 году и членом Королевского общества Эдинбурга (FRSE). [ когда? ] и является членом Европейской академии. [22] и Американская академия искусств и наук . [23] Он также является лауреатом премии Королевского общества Вольфсона за заслуги в области исследований . Плоткин получил Премию Милнера в 2012 году за «фундаментальные исследования в области семантики программирования, оказавшие долгосрочное влияние как на принципы, так и на дизайн языков программирования». [24] Его номинация в Королевское общество гласит:
Плоткин внес вклад в развитие искусственного интеллекта, логики, лингвистики и особенно компьютерных наук. В области искусственного интеллекта он работал над формированием гипотез и универсальным объединением; в области логики, посвященный основам произвольной логики; Кандидат лингвистических наук, по формализации теории ситуаций .Его основной общий вклад заключался в создании семантической основы информатики, особенно языков программирования. Особенно значимые результаты получены в лямбда-исчислении (элементарные модели, определяемость, вызов по значению ), недетерминизме ( теория степенных доменов ), семантических формализмах (структурированная операционная семантика , метаязыки) и категориях семантических областей (когерентные, про- конечный, конкретный). Дальнейшие вклады касаются семантической парадигмы полной абстракции, теории параллелизма (структуры событий), логики программирования и теории типов . [25]
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с Гордон Плоткин в проекте «Математическая генеалогия»
- ^ Перейти обратно: а б Плоткин, Гордон Дэвид (1972). Автоматические методы индуктивного вывода (кандидатская диссертация). Эдинбургский университет. hdl : 1842/6656 . EThOS uk.bl.ethos.482992 .
- ^ Перейти обратно: а б Карделли, Лука (1982). Алгебраический подход к описанию и верификации аппаратуры (кандидатская диссертация). Эдинбургский университет. hdl : 1842/13308 . EThOS uk.bl.ethos.253190 .
- ^ Перейти обратно: а б Гарднер, Филиппа (1992). Представление логики в теории типов (кандидатская диссертация). Эдинбургский университет. hdl : 1842/14888 . EThOS uk.bl.ethos.651333 .
- ^ Перейти обратно: а б Гурр, Дуглас Джон (1990). Семантические рамки сложности (кандидатская диссертация). Эдинбургский университет. hdl : 1842/13968 . OCLC 475827463 . EThOS uk.bl.ethos.651894 .
- ^ Перейти обратно: а б Моджи, Эудженио (1999). Частичное лямбда-исчисление (кандидатская диссертация). Эдинбургский университет. hdl : 1842/419 .
- ^ Перейти обратно: а б Вэй, Лю (1983). Операционный подход к семантике и трансляции языков программирования (кандидатская диссертация). hdl : 1842/6636 .
- ^ Перейти обратно: а б с Анон (2013). «Плоткин, профессор Гордон Дэвид» . Кто есть кто (онлайн- изд. Oxford University Press ). Оксфорд: A&C Black. дои : 10.1093/ww/9780199540884.013.U31011 . (Требуется подписка или членство в публичной библиотеке Великобритании .)
- ^ Крари, Карл; Харпер, Роберт (2007). «Синтаксико-логические отношения для полиморфных и рекурсивных типов» . Электронные заметки по теоретической информатике . 172 : 259. doi : 10.1016/j.entcs.2007.02.010 .
- ^ Кюрьен, Пьер-Луи (апрель 2022 г.), Семантика и синтаксис, между информатикой и математикой (PDF) , стр. 2
- ^ Публикации Гордона Плоткина , проиндексированные Google Scholar.
- ^ Гордона Плоткина Страница профиля автора ACM. в цифровой библиотеке
- ^ Публикации Гордона Плоткина , индексируемые библиографической базой данных Scopus . (требуется подписка)
- ^ Гордон Д. Плоткин на DBLP библиографическом сервере
- ^ Митчелл, Джей Си ; Плоткин, Г.Д. (1988). «Абстрактные типы имеют экзистенциальный тип» . Транзакции ACM в языках и системах программирования . 10 (3): 470. дои : 10.1145/44501.45065 . S2CID 1222153 .
- ^ Абади, Миннесота ; Берроуз, М .; Лэмпсон, Б .; Плоткин, Г. (1993). «Расчет контроля доступа в распределенных системах» (PDF) . Транзакции ACM в языках и системах программирования . 15 (4): 706. CiteSeerX 10.1.1.72.3756 . дои : 10.1145/155183.155225 . HDL : 1842/207 . S2CID 13260508 .
- ^ «Симпозиум Гордона Плоткина» . www.lfcs.inf.ed.ac.uk.
- ^ Плоткин, Г.Д. (1975). «Вызов по имени, вызов по значению и λ-исчисление» . Теоретическая информатика . 1 (2): 125–159. дои : 10.1016/0304-3975(75)90017-1 .
- ^ Плоткин, Г.Д. (2004). «Истоки структурной операционной семантики» . Журнал логики и алгебраического программирования . 60–61: 3–15. дои : 10.1016/j.jlap.2004.03.009 .
- ^ Структурный подход к операционной семантике Г. Д. Плоткина (1981)
- ^ Проверка программы и семантика: дальнейшая работа. Архивировано 26 сентября 2007 г. в Wayback Machine (2004 г.).
- ^ Хоффманн, Илире Хасани, Роберт. «Академия Европы: Плоткин Гордон» . www.ae-info.org .
{{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ «Новые члены Американской академии искусств и наук» .
- ^ «- Королевское общество» . royalsociety.org .
- ^ «EC/1992/29: Плоткин, Гордон Дэвид» . Лондон: Королевское общество. Архивировано из оригинала 16 апреля 2014 года.
- 1946 года рождения
- Живые люди
- Британские ученые-компьютерщики
- Члены Королевского общества
- Члены Европейской академии
- Члены Американской академии искусств и наук
- Обладатели премии Королевского общества Вольфсона за заслуги в области исследований
- Формальные методы люди
- Исследователи языков программирования
- шотландские евреи
- Выпускники Эдинбургского университета
- Академики Эдинбургского университета
- Члены Королевского общества Эдинбурга
- Еврейские британские учёные
- Выпускники Университета Глазго