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

Британский учёный-компьютерщик

Самсон Абрамский
Абрамский в мае 2005 г.
Рожденный( 1953-03-12 )12 марта 1953 г. (71 год) [4]
Альма-матер
Награды
Научная карьера
Поля
Учреждения
ТезисТеория доменов и логика наблюдаемых свойств  (1987)
научный руководительРичард Борнат [3]
Веб-сайтwww.cs.ox.ac.uk/samson.abramsky

Сэмсон Абрамски (родился 12 марта 1953 года) — британский учёный-компьютерщик, профессор компьютерных наук в Университетском колледже Лондона . Ранее он был профессором вычислительной техники имени Кристофера Стрейчи в колледже Вольфсона в Оксфорде с 2000 по 2021 год.

Ранние работы Абрамски включали вклад в теорию доменов и ее связи с геометрической логикой . С тех пор его работа охватывала ленивое лямбда-исчисление , анализ строгости , теорию параллелизма , категории взаимодействия и геометрию взаимодействия , игровую семантику и квантовые вычисления . В частности, он был одним из пионеров категориальной квантовой механики . В последнее время он применял методы категориальной семантики к теории конечных моделей с приложениями к дескриптивной сложности . [2] [5] [6] [7] [8] [9] [10] [11] [12]

Образование

Абрамски получил образование в Хасмонейской гимназии для мальчиков в Хендоне , а также в Королевском колледже Кембриджа (степень бакалавра наук в 1975 году, степень магистра философии в 1979 году, диплом по информатике) и в Лондонском университете королевы Марии (степень доктора компьютерных наук в 1988 году, под руководством Ричарда Борната ). [3]

Карьера и исследования

С 2021 года Абрамски является профессором компьютерных наук в Университетском колледже Лондона . Он является членом Королевского общества с 2004 года. Его исследования включают разработку семантики игр , теории доменов в логической форме и категориальной квантовой механики .

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

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

Избранные публикации

Самсон Абрамски совместно с Довом Габбеем и Томом Мэйбаумом редактировал 6-томный Справочник по логике в информатике :

  • 1992. Том 1: Предыстория: Математические структуры .
  • 1992. Том 2: Предыстория: Вычислительные структуры .
  • 1995. Том 3: Семантические структуры .
  • 1995. Том 4: Семантическое моделирование .
  • 2001. Том 5: Логические и алгебраические методы .
  • Том 6: Логические методы в информатике .

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

  • 1986. Анализ строгости для функций высшего порядка . (совместно с Г. Л. Берн, К. Ханкиным). Наука компьютерного программирования.
  • 1990. Ленивое лямбда-исчисление . Темы исследований в области функционального программирования.
  • 1993. Вычислительные интерпретации линейной логики . в Теоретической информатике 111
  • 1994. Теория доменов . (совместно с А. Юнгом). в Handbook of Logic in Computer Science 3.
  • 1996. Категории взаимодействия и основы типизированного параллельного программирования . (совместно с С. Гаем и Р. Нагараджаном). NATO ASI SERIES F КОМПЬЮТЕРНЫЕ И СИСТЕМНЫЕ НАУКИ 152
  • 1997. Определение категорий взаимодействия . (совместно с Д. Павловичем). Теория категорий и информатика
  • 2002. Геометрия взаимодействия и линейные комбинаторные алгебры . (совместно с Э. Хагверди и П. Скоттом). Математические структуры в информатике 12 (5)
  • 2003. Последовательность против параллелизма в играх и логике . Математические структуры в информатике 13 (4)

Среди поздних работ Абрамского можно отметить:

  • 2010. Введение в категории и категориальную логику . (совместно с Н. Цевелекосом). В New Structures for Physics. Springer.
  • 2012. Логические неравенства Белла . (совместно с Люсьеном Харди). В Physical Review A. Т. 85. № ARTN 062114.
  • 2013. Надежное выполнение ограничений и локальные скрытые переменные в квантовой механике . (совместно с Г. Готтлобом и П. Колайтисом). IJCAI .

Награды и почести

Абрамски является членом Королевского общества (2004), членом Королевского общества Эдинбурга (2000), [14] и членом Academia Europaea (1993). Он является членом редколлегий North Holland Studies in Logic and the Foundations of Mathematics и Cambridge Tracts in Theoretical Computer Science. Он был генеральным председателем LiCS 2000–2003 и является членом Организационного комитета LiCS.

  • В 2024 году он был удостоен премии EATCS Award , которая присуждается за вклад в теоретическую информатику на протяжении всей карьеры. Среди его работ, упомянутых в похвале, — его вклад в теорию доменов, семантику игр и категориальный подход к квантовым вычислениям и информации. [15]
  • Он был избран членом ACM (2014) за вклад в области логической формы, игровой семантики , категориальной квантовой механики и контекстуальной семантики. [1]
  • В 2013 году он был награжден медалью BCS Lovelace [16].
  • Три его работы получили награду LiCS Test-of-Time (20-летняя ретроспектива): [17]
    • Самсон Абрамский. " Теория доменов в логической форме" (1987). Премия была вручена на LiCS 2007.
    • Сэмсон Абрамски, Кохей Хонда и Гай МакКаскер. «Полностью абстрактная игровая семантика для общих справок» (1998). Награда была вручена на LiCS 2018.
    • Сэмсон Абрамски и Боб Коек. «Категорическая семантика квантовых протоколов». (2004). Премия была вручена на LiCS 2024. [18]
  • В 2007 году ему была присуждена стипендия EPSRC Senior Research Fellowship по фундаментальным структурам и методам квантовой информатики.
  • Член Королевского общества (2004)
  • Член Королевского общества Эдинбурга (2000)

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

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

Ссылки

  1. ^ ab "Мистер Самсон Абрамски". awards.acm.org .
  2. ^ ab публикации Самсона Абрамски, проиндексированные Google Scholar
  3. ^ ab Самсон Абрамски в проекте «Генеалогия математики»
  4. ^ A & C Black (2014). "АБРАМСКИЙ, профессор Сэмсон". Кто есть кто . Bloomsbury Publishing.(требуется подписка)
  5. ^ Публикации Самсона Абрамского, проиндексированные в библиографической базе данных Scopus . (требуется подписка)
  6. ^ Абрамски, С.; Джагадисан, Р.; Малакария, П. (2000). "Полная абстракция для PCF" (PDF) . Информация и вычисления . 163 (2): 409. arXiv : 1311.6125 . doi : 10.1006/inco.2000.2930.
  7. ^ Абрамски, С.; Онг, Ч. Л. Л. (1993). «Полная абстракция в ленивом лямбда-исчислении». Информация и вычисления . 105 (2): 159. doi : 10.1006/inco.1993.1044 .
  8. ^ "Страница Самсона Абрамски на LinkedIn".
  9. ^ Самсон Абрамски на сервере библиографии DBLP
  10. ^ Абрамски, С. (1993). «Вычислительные интерпретации линейной логики». Теоретическая информатика . 111 (1–2): 3–57. doi : 10.1016/0304-3975(93)90181-R .
  11. ^ Страница профиля автора Самсона Абрамски в ACM Digital Library
  12. ^ Публикации Самсона Абрамски, проиндексированные Microsoft Academic
  13. ^ Самсон Абрамский: Публикации
  14. ^ "Профессор Самсон Абрамски FRS FRSE". Королевское общество Эдинбурга . 19 мая 2017 г. Получено 27 января 2019 г.
  15. ^ «Премия EATCS 2024 — Похвала Самсону Абрамски». eatcs.org .
  16. ^ "Академия вычислений BCS | BCS". www.bcs.org .
  17. ^ «Премия LICS Test-of-Time». siglog.org .
  18. ^ "ICALP/LICS/FSCD 2024". compose.ioc.ee .
  19. ^ "Выставка каталогов архива DServe". collections.royalsociety.org .
Взято с "https://en.wikipedia.org/w/index.php?title=Самсон_Абрамский&oldid=1253157702"