Самсон Абрамский
Самсон Абрамский | |
|---|---|
 Абрамский в мае 2005 года | |
| Рожденный | 12 марта 1953 г. [4] |
| Альма-матер |
|
| Награды |
|
| Научная карьера | |
| Поля | |
| Учреждения | |
| Диссертация | Теория предметной области и логика наблюдаемых свойств (1987) |
| Докторантура | Ричард Борнат [3] |
| Веб-сайт | www |
Самсон Абрамский FRS FRSE (родился 12 марта 1953 г.) — профессор компьютерных наук в Университетском колледже Лондона . Ранее он был профессором вычислительной техники Кристофера Стрейчи в Вольфсон-колледже в Оксфорде с 2000 по 2021 год.
Ранние работы Абрамского включали глубокий вклад в теорию предметной области и ее связь с геометрической логикой . С тех пор его работа охватила ленивое лямбда-исчисление , анализ строгости , теорию параллелизма , категории взаимодействия и геометрию взаимодействия , семантику игр и квантовые вычисления . Примечательно, что он был одним из пионеров категориальной квантовой механики . Совсем недавно он применял методы категориальной семантики к теории конечных моделей с приложениями к описательной сложности . [2] [5] [6] [7] [8] [9] [10] [11] [12]
Образование [ править ]
Абрамский получил образование в Хасмонейской гимназии для мальчиков в Хендоне и в Королевском колледже в Кембридже (бакалавр 1975, магистр философии 1979, диплом в области компьютерных наук) и Лондонском университете королевы Марии (доктор компьютерных наук 1988, под руководством Ричарда Борната ). [3]
и исследования Карьера
С 2021 года Абрамский является профессором компьютерных наук Университетского колледжа Лондона . Он является членом Королевского общества с 2004 года. Его исследования включают разработку семантики игр , теории предметной области в логической форме и категориальной квантовой механики .
Его предыдущие должности включают:
- Программист, GEC Computers Limited , 1976–1978 гг.
- Преподаватель кафедры информатики и статистики QMUL, 1980–1983 годы.
- Преподаватель, 1983–1988 гг., читатель, 1988–1990 гг., профессор, 1990–1995 гг., вычислительной техники факультет Имперского колледжа Лондона.
- Профессор теоретической информатики, Эдинбургский университет , 1996–2000 гг.
- Кристофер Стрейчи, профессор вычислительной техники , Оксфордский университет , 2000–2021 гг.
Абрамский сыграл ведущую роль в разработке семантики игр и ее приложений к семантике языков программирования . Другие заметные вклады включают его работу по теории предметной области в логической форме, ленивому лямбда-исчислению , анализу строгости , теории параллелизма , категориям взаимодействия и геометрии взаимодействия . В последнее время он работает над высокоуровневыми методами квантовых вычислений и информации.
Избранные публикации [ править ]
Самсон Абрамски редактировал шеститомный справочник по логике в информатике совместно с Довом Габбаем и Томом Майбаумом :
- 1992. Том 1: Предыстория: математические структуры .
- 1992. Том 2: Предыстория: вычислительные структуры .
- 1995. Том 3: Семантические структуры .
- 1995. Том 4: Семантическое моделирование .
- 2001. Том 5: Логические и алгебраические методы .
- Том 6: Логические методы в информатике .
Абрамский опубликовал более двухсот публикаций, а его индекс Хирша по состоянию на октябрь 2019 года составлял 57. [13]
- 1986. Анализ строгости функций высшего порядка . (совместно с Г.Л. Берном, К. Ханкиным). Наука компьютерного программирования.
- 1990. Ленивое лямбда-исчисление . Темы исследований в области функционального программирования.
- 1993. Вычислительные интерпретации линейной логики . в теоретической информатике 111
- 1994. Теория предметной области . (совместно с А Юнгом). в Справочнике по логике в информатике 3.
- 1996. Категории взаимодействия и основы типизированного параллельного программирования . (совместно с С. Гаем и Р. Нагараджаном). НАТО ASI СЕРИЯ F КОМПЬЮТЕРНЫЕ И СИСТЕМНЫЕ НАУКИ 152
- 1997. Определение категорий взаимодействия . (совместно с Д. Павловичем). Категория Теория и информатика
- 2002. Геометрия взаимодействия и линейные комбинаторные алгебры . (совместно с Э. Ахверди и П. Скоттом). Математические структуры в информатике 12 (5)
- 2003. Последовательность против параллелизма в играх и логике . Математические структуры в информатике 13 (4)
Некоторые из более поздних работ Абрамского включают:
- 2010. Введение в категории и категориальную логику . (совместно с Н. Цевелекосом). В книге «Новые структуры для физики». Спрингер.
- 2012. Логические неравенства Белла . (с Люсьеном Харди). В Physical Review A. Vol. 85. № АРТН 062114.
- 2013. Робастное удовлетворение ограничений и локальные скрытые переменные в квантовой механике . (совместно с Г. Готтлобом и П. Колайтисом). ИДЖКАИ .
Награды и почести [ править ]
Абрамский — член Королевского общества (2004 г.), член Королевского общества Эдинбурга (2000 г.), [14] и член Европейской академии (1993 г.). Он является членом редакционной коллегии журналов «Северная Голландия по логике и основам математики», а также «Кембриджских трактатов по теоретической информатике». Он был генеральным председателем LiCS в 2000–2003 годах и является членом организационного комитета LiCS.
- Он был избран членом ACM (2014 г.) за вклад в области логической формы, игровой семантики , категориальной квантовой механики и контекстной семантики. [1]
- он был награжден медалью BCS Lovelace . В 2013 году [15]
- Его статья « Теория предметной области в логической форме» получила награду LiCS Test of Time (20-летняя ретроспектива) в 1987 году. Награда была вручена на LiCS 2007.
- В 2007 году он был награжден старшей исследовательской стипендией EPSRC по фундаментальным структурам и методам квантовой информатики.
- Член Королевского общества (2004 г.)
- Член Королевского общества Эдинбурга (2000 г.)
В номинации Абрамского от Королевского общества говорится:
Самсон Абрамский известен своим плодотворным вкладом в математические основы вычислений. Его выдающимся достижением является разработка семантики игр как теории вычислительных процессов, которая раскрывает математическую структуру информационного потока между ними. Это привело к появлению мощных приложений в изучении языков программирования, предлагающих новое решающее понимание природы последовательности, состояния, управления и многих других вычислительных функций. Теперь это, в свою очередь, ведет к новым разработкам в области компьютерного анализа и проверки программ. Важным направлением, которое также является вкладом в логику, является обобщение «Геометрии взаимодействия» Жирара, ведущее к новому жанру теорем полной полноты, которые характеризуют «пространство доказательств» логики. Ранее Абрамский внес важный вклад в абстрактную интерпретацию, теорию предметных областей, лямбда-исчисление и параллелизм. Он продолжает проливать свет на широкий круг тем, предлагая острые и творческие идеи, открывая новые горизонты и внося порядок и единство в существующую работу. [16]
Ссылки [ править ]
- ↑ Перейти обратно: Перейти обратно: а б «Господин Самсон Абрамский» . Награды.acm.org .
- ↑ Перейти обратно: Перейти обратно: а б Публикации Самсона Абрамского, индексируемые Google Scholar
- ↑ Перейти обратно: Перейти обратно: а б Самсон Абрамский на проекте «Математическая генеалогия»
- ^ А&С Блэк (2014). «АБРАМСКИЙ, профессор Самсон» . Кто есть кто . Издательство Блумсбери. (требуется подписка)
- ^ Публикации Самсона Абрамского, индексируемые библиографической базой данных Scopus . (требуется подписка)
- ^ Абрамский, С. ; Джагадисан, Р.; Малакария, П. (2000). «Полная абстракция для PCF» (PDF) . Информация и вычисления . 163 (2): 409. arXiv : 1311.6125 . дои : 10.1006/inco.2000.2930 .
- ^ Абрамский, С. ; Онг, КХЛ (1993). «Полная абстракция в ленивом лямбда-исчислении» . Информация и вычисления . 105 (2): 159. doi : 10.1006/inco.1993.1044 .
- ^ «Страница Самсона Абрамского в LinkedIn» .
- ^ Самсон Абрамский на DBLP библиографическом сервере
- ^ Абрамский, С. (1993). «Вычислительная интерпретация линейной логики» . Теоретическая информатика . 111 (1–2): 3–57. дои : 10.1016/0304-3975(93)90181-R .
- ^ Самсона Абрамского Страница профиля автора ACM. в цифровой библиотеке
- ^ Публикации Самсона Абрамского, индексируемые Microsoft Academic.
- ^ Самсон Абрамский: Публикации
- ^ «Профессор Самсон Абрамский ФРС ФРСЭ» . Королевское общество Эдинбурга . 19 мая 2017 года . Проверено 27 января 2019 г.
- ^ «Вычислительная академия БКС | БКС» . www.bcs.org .
- ^ «Выставка каталога архивов DServe» . Collections.royalsociety.org .
- 1953 года рождения
- Живые люди
- Выпускники Королевского колледжа Кембриджа
- Выпускники Лондонского университета королевы Марии
- Члены Колледжа Вольфсона, Оксфорд
- Члены кафедры компьютерных наук Оксфордского университета
- Преподаватели Лондонского университета королевы Марии
- Академики Имперского колледжа Лондона
- Академики Эдинбургского университета
- Британские ученые-компьютерщики
- Британские евреи 20-го века
- Британские люди белорусско-еврейского происхождения
- Еврейские британские учёные
- Формальные методы люди
- Члены Королевского общества Эдинбурга
- Члены Королевского общества
- Члены Европейской академии
- Члены Ассоциации вычислительной техники 2014 г.