Самсон Абрамски совместно с Довом Габбеем и Томом Мэйбаумом редактировал 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]
Сэмсон Абрамски известен своим основополагающим вкладом в математические основы вычислений. Его выдающимся достижением является разработка игровой семантики как теории вычислительных процессов, которая раскрывает математическую структуру информационного потока между ними. Это привело к мощным приложениям в изучении языков программирования, предлагая решающие новые идеи о природе последовательности, состояния, управления и многих других вычислительных характеристик. Теперь это, в свою очередь, приводит к новым разработкам в компьютерном анализе и верификации программ. Важным направлением, которое также является вкладом в логику, является обобщение геометрии взаимодействия Жирара, что приводит к новому жанру теорем о полной полноте, которые характеризуют «пространство доказательств» логики. Ранее Абрамски внес важный вклад в абстрактную интерпретацию, теорию доменов, лямбда-исчисление и параллелизм. Он продолжает проливать свет на широкий спектр тем острыми и творческими идеями, открывая новые горизонты и привнося порядок и единство в существующую работу. [19]
Ссылки
^ ab "Мистер Самсон Абрамски". awards.acm.org .
^ ab публикации Самсона Абрамски, проиндексированные Google Scholar
^ A & C Black (2014). "АБРАМСКИЙ, профессор Сэмсон". Кто есть кто . Bloomsbury Publishing.(требуется подписка)
^ Публикации Самсона Абрамского, проиндексированные в библиографической базе данных Scopus . (требуется подписка)
^ Абрамски, С.; Джагадисан, Р.; Малакария, П. (2000). "Полная абстракция для PCF" (PDF) . Информация и вычисления . 163 (2): 409. arXiv : 1311.6125 . doi : 10.1006/inco.2000.2930.
^ Абрамски, С.; Онг, Ч. Л. Л. (1993). «Полная абстракция в ленивом лямбда-исчислении». Информация и вычисления . 105 (2): 159. doi : 10.1006/inco.1993.1044 .