Абрамский, Самсон

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

Самсон Абрамский

англ. Samson Abramsky
Файл:Abramsky Samson.jpg
Абрамский в мае 2005 года


Дата рождения
12 марта 1953 года




Род деятельности
учёный в области информатики





Сайт

cs.ox.ac.uk/samson.abramsky

Самсон Абрамский (англ. Samson Abramsky; [Нет даты!]) — британский учёный в области информатики, профессор информатики в Университетском колледже Лондона. Известен вкладом в теорию доменов, игровую семантику и категорную квантовую механику. Член Лондонского королевского общества (2004) и Эдинбургского королевского общества (2000).

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

Абрамский получил образование в школе Хасмонеан в Хендоне, а также в Королевском колледже Кембриджа (бакалавр искусств, 1975; магистр философии, 1979; диплом по информатике) и в Университете королевы Марии (доктор философии по информатике, 1988, под руководством Ричарда Борната)[1].

С 2021 года Абрамский является профессором информатики в Университетском колледже Лондона. Ранее, с 2000 по 2021 год, он занимал должность профессора вычислений имени Кристофера Стрейчи в Вулфсон-колледже Оксфордского университета.

Его ранние должности включают:

Ранние работы Абрамского включают вклад в теорию доменов и её связи с геометрической логикой. Впоследствии его исследования охватывали ленивое лямбда-исчисление, анализ строгости, теорию параллелизма, категории взаимодействия и геометрию взаимодействия, игровую семантику и квантовые вычисления. Он стал одним из пионеров категорной квантовой механики. Позднее он применял методы категорной семантики к конечной теории моделей с приложениями к дескриптивной сложности.

Абрамский сыграл ведущую роль в развитии игровой семантики и её применении к семантике языков программирования. Другие значимые достижения включают работу над теорией доменов в логической форме. В последнее время он работает над высокоуровневыми методами для квантовых вычислений и информации.

Абрамский опубликовал более двухсот работ, его индекс Хирша по состоянию на октябрь 2019 года составлял 57[2].

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

Абрамский является членом Лондонского королевского общества (2004), Эдинбургского королевского общества (2000) и Европейской академии (1993). Он входит в состав редакционных коллегий серий North Holland Studies in Logic and the Foundations of Mathematics и Cambridge Tracts in Theoretical Computer Science. Был генеральным председателем конференции LiCS в 2000—2003 годах и является членом её организационного комитета.

В 2024 году получил премию EATCS за вклад в теоретическую информатику на протяжении всей карьеры. В числе отмеченных работ — вклад в теорию доменов, игровую семантику и категорный подход к квантовым вычислениям и информации.

Избран членом ACM (2014) за вклад в теорию доменов в логической форме, игровую семантику, категорную квантовую механику и контекстную семантику[3].

Награждён медалью Лавлейс от Британского компьютерного общества в 2013 году.

Три его статьи получили премию LiCS Test-of-Time (20-летняя ретроспектива)[4]: Samson Abramsky. «Domain theory in Logical Form» (1987). Премия вручена на LiCS 2007. Samson Abramsky, Kohei Honda and Guy McCusker. «A Fully Abstract Game Semantics for General References» (1998). Премия вручена на LiCS 2018. Samson Abramsky and Bob Coecke. «A categorical semantics of quantum protocols.» (2004). Премия вручена на LiCS 2024.

В 2007 году получил старшую исследовательскую стипендию EPSRC по фундаментальным структурам и методам квантовой информатики.

В номинации Абрамского в Лондонское королевское общество отмечается:

Самсон Абрамский отмечен за фундаментальный вклад в математические основы вычислений. Его выдающимся достижением является разработка игровой семантики как теории вычислительных процессов, которая раскрывает математическую структуру информационного потока между ними. Это привело к мощным приложениям в изучении языков программирования, предложив новые взгляды на природу последовательности, состояния, управления и многих других вычислительных особенностей. В свою очередь, это ведёт к новым разработкам в области компьютерного анализа и верификации программ. Важным направлением, которое также является вкладом в логику, стало обобщение геометрии взаимодействия Жирара, что привело к новому жанру теорем о полной полноте, характеризующих «пространство доказательств» логики. Ранее Абрамский внёс важный вклад в абстрактную интерпретацию, теорию доменов, лямбда-исчисление и теорию параллелизма. Он продолжает проливать свет на широкий круг тем благодаря острым и творческим идеям, открывая новые горизонты и привнося порядок и единство в существующие работы.

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

  • «Справочник по логике в информатике» (Handbook of Logic in Computer Science) совместно с Довом Габбаем и Томом Майбаумом:
    • 1992. Volume 1: Background: Mathematical Structures.
    • 1992. Volume 2: Background: Computational Structures.
    • 1995. Volume 3: Semantic Structures.
    • 1995. Volume 4: Semantic Modelling.
    • 2001. Volume 5: Logic and Algebraic Methods.
    • Volume 6: Logical methods in computer science.
  • 1986. Strictness analysis for higher-order functions. (с Дж. Л. Бёрном, К. Хэнкином). Science of Computer Programming.
  • 1990. The Lazy Lambda Calculus. Research Topics in Functional Programming.
  • 1993. Computational Interpretations of Linear logic. в Theoretical Computer Science 111
  • 1994. Domain Theory. (с А. Юнгом). в Handbook of Logic in Computer Science 3.
  • 1996. Interaction categories and the foundations of typed concurrent programming. (с С. Гэем и Р. Нагараджаном). NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES 152
  • 1997. Specifying interaction categories. (с Д. Павловичем). Category Theory and Computer Science
  • 2002. Geometry of interaction and linear combinatory algebras. (с Э. Хагверди и Ф. Скоттом). Mathematical Structures in Computer Science 12 (5)
  • 2003. Sequentiality vs. concurrency in games and logic. Mathematical Structures in Computer Science 13 (4)
  • 2010. Introduction to categories and categorical logic. (с Н. Цевелекосом). В New Structures for Physics. Springer.
  • 2012. Logical Bell Inequalities. (с Люсьеном Харди). В Physical Review A. Vol. 85. No. ARTN 062114.
  • 2013. Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. (с Г. Готтлобом и Ф. Колайтисом). IJCAI.

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

  1. ↑ Абрамский, Самсонангл. в проекте «Математическая генеалогия»
  2. ↑ Samson Abramsky : Publications
  3. ↑ Mr Samson Abramsky. awards.acm.org. Проверено 8 июня 2026.
  4. ↑ LICS Test-of-Time Award. siglog.org. Проверено 8 июня 2026.

Рувики

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

—https://ru.ruwiki.ru/wiki/Абрамский,_Самсон

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

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

Источник — http://cyclowiki.org/w/index.php?title=Абрамский,_Самсон&oldid=2687512