Самсон Абрамский FRS FRSE (родился 12 марта 1953 г.) — профессор компьютерных наук в Университетском колледже Лондона . Ранее с 2000 по 2021 год он был профессором вычислительной техники имени Кристофера Стрейчи в Вольфсон-колледже в Оксфорде .
Ранние работы Абрамского включали глубокий вклад в теорию предметной области и ее связь с геометрической логикой . С тех пор его работа охватила ленивое лямбда-исчисление , анализ строгости , теорию параллелизма , категории взаимодействия и геометрию взаимодействия , семантику игр и квантовые вычисления . Примечательно, что он был одним из пионеров категориальной квантовой механики . Совсем недавно он применял методы категориальной семантики к теории конечных моделей с приложениями к описательной сложности . [2] [5] [6] [7] [8] [9] [10] [11] [12]
Абрамский получил образование в Хасмонейской гимназии для мальчиков в Хендоне и в Королевском колледже в Кембридже (бакалавр 1975, магистр философии 1979, диплом в области компьютерных наук) и Лондонском университете королевы Марии (доктор компьютерных наук 1988, под руководством Ричарда Борната ). [3]
С 2021 года Абрамский является профессором компьютерных наук Университетского колледжа Лондона . Он является членом Королевского общества с 2004 года. Его исследования включают разработку семантики игр , теории предметной области в логической форме и категориальной квантовой механики .
Его предыдущие должности включают:
Абрамский сыграл ведущую роль в разработке семантики игр и ее приложений к семантике языков программирования . Другие заметные вклады включают его работу по теории предметной области в логической форме, ленивому лямбда-исчислению , анализу строгости , теории параллелизма , категориям взаимодействия и геометрии взаимодействия . В последнее время он работает над высокоуровневыми методами квантовых вычислений и информации.
Самсон Абрамски редактировал шеститомный справочник по логике в информатике вместе с Довом Габбаем и Томом Майбаумом :
Абрамский опубликовал более двухсот публикаций, а его индекс Хирша по состоянию на октябрь 2019 года составлял 57. [13]
Некоторые из более поздних работ Абрамского включают:
Абрамский является членом Королевского общества (2004 г.), членом Эдинбургского королевского общества (2000 г.) [14] и членом Европейской академии (1993 г.). Он является членом редакционной коллегии журналов «Северная Голландия по логике и основам математики», а также «Кембриджских трактатов по теоретической информатике». Он был генеральным председателем LiCS в 2000–2003 годах и является членом организационного комитета LiCS.
В номинации Абрамского от Королевского общества говорится:
Самсон Абрамский известен своим плодотворным вкладом в математические основы вычислений. Его выдающимся достижением является разработка семантики игр как теории вычислительных процессов, которая раскрывает математическую структуру информационного потока между ними. Это привело к появлению мощных приложений в изучении языков программирования, предлагающих новое решающее понимание природы последовательности, состояния, управления и многих других вычислительных функций. Теперь это, в свою очередь, ведет к новым разработкам в области компьютерного анализа и проверки программ. Важным направлением, которое также является вкладом в логику, является обобщение «Геометрии взаимодействия» Жирара, ведущее к новому жанру теорем полной полноты, которые характеризуют «пространство доказательств» логики. Ранее Абрамский внес важный вклад в абстрактную интерпретацию, теорию предметных областей, лямбда-исчисление и параллелизм. Он продолжает проливать свет на широкий круг тем, предлагая острые и творческие идеи, открывая новые горизонты и внося порядок и единство в существующую работу. [16]
