Gordon Plotkin
Gordon Plotkin · Технологии и инженерия
Гордон Плоткин — британский теоретик информатики из Эдинбургского университета, чья структурная операционная семантика дала строгий и широко используемый способ определять смысл языков программирования; он также внёс основополагающий вклад в теорию доменов, теорию типов и логики вычислений.
1946, Glasgow, Scotland
United Kingdom
Гордон Плоткин — британский теоретик информатики из Эдинбургского университета, чья структурная операционная семантика дала строгий и широко используемый способ определять смысл языков программирования; он также внёс основополагающий вклад в теорию доменов, теорию типов и логики вычислений. Его считают одной из самых влиятельных фигур в теории языков программирования. Он еврейского происхождения и числится среди еврейских специалистов по информатике.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Гордон Плоткин — британский теоретик информатики из Эдинбургского университета, чья структурная операционная семантика дала строгий и широко используемый способ определять смысл языков программирования; он также внёс основополагающий вклад в теорию доменов, теорию типов и логики вычислений.
Источник: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
