Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

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

Самсон Абрамски FRS , FRSE (родился 12 марта 1953 г.) - ученый-компьютерщик , занимающий должность профессора Кристофера Стрэчи на факультете компьютерных наук (бывшая вычислительная лаборатория) Оксфордского университета . Он внес вклад в области теории предметной области , ленивого лямбда-исчисления , анализа строгости , теории параллелизма , категорий взаимодействия, геометрии взаимодействия , семантики игр и квантовых вычислений . [3] [5] [6] [7] [8] [9][10] [11] [12]

Образование [ править ]

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

Карьера и исследования [ править ]

По состоянию на 2016 Abramsky является сотрудником из Wolfson College, Оксфорд и Кристофер Стрейчи профессор вычислительной техники в Оксфордском университете кафедры информатики . С 2004 года он также является членом Королевского общества . Его исследования включают развитие семантики игр , теории предметной области в логической форме и категориальной квантовой механики .

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

  • Программист, GEC Computers Limited , 1976–1978 гг.
  • Преподаватель кафедры компьютерных наук и статистики QMUL, 1980–1983 гг.
  • Лектор, 1983–1988 годы, читатель, 1988–1990 годы, профессор, 1990–1995 годы, факультет вычислительной техники , Имперский колледж Лондона
  • Профессор теоретической информатики, Эдинбургский университет , 1996–2000 гг.

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

Избранные публикации [ править ]

Самсон Абрамски вместе с Довом Габбаем и Томом Майбаумом редактировал 6-томное руководство по логике в компьютерных науках .

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

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

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

Некоторые из недавних работ Самсона Абрамского включают:

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

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

Абрамский является членом Королевского общества (2004 г.), членом Королевского общества Эдинбурга (2000 г.) [15] и членом Academia Europaea (1993 г.). Он является членом редакционной коллегии исследований по логике и основам математики Северной Голландии, а также Кембриджского трактата по теоретической информатике. Он был генеральным председателем LiCS 2000–2003 и является членом организационного комитета LiCS.

  • Он был избран членом ACM (2014) за вклад в области логической формы, семантики игр , категориальной квантовой механики и контекстной семантики. [2]
  • Он был награжден медалью BCS Lovelace в 2013 году [16]
  • В 2007 году он был удостоен стипендии для старших исследователей EPSRC.
  • Его статья « Теория предметной области в логической форме» была удостоена награды LiCS Test-of-Time (20-летняя ретроспектива) в 1987 году. Награда была вручена на выставке LiCS 2007.
  • В 2007 году он получил стипендию старшего научного сообщества EPSRC по основополагающим структурам и методам квантовой информатики.
  • Член Королевского общества (2004)
  • Член Королевского общества Эдинбурга (2000)

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

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

Ссылки [ править ]

  1. ^ A & C Black (2014). «АБРАМСКИЙ, проф. Самсон» . Кто есть кто . Bloomsbury Publishing.(требуется подписка)
  2. ^ a b САМСОН АБРАМСКИЙ Стипендиаты ACM 2014
  3. ^ a b Публикации Самсона Абрамски, проиндексированные Google Scholar
  4. ^ a b Самсон Абрамский в проекте « Математическая генеалогия»
  5. ^ Публикации Самсона Абрамского в индексируется Scopus библиографической базы данных. (требуется подписка)
  6. ^ Абрамский, С .; Jagadeesan, R .; Малякария, П. (2000). «Полная абстракция для PCF» (PDF) . Информация и вычисления . 163 (2): 409. arXiv : 1311.6125 . DOI : 10.1006 / inco.2000.2930 .
  7. ^ Абрамский, С .; Онг, CHL (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
  12. ^ Список публикаций из Microsoft Academic
  13. ^ "Индекс еврейских жизней" .
  14. ^ Самсон Абрамский: Публикации
  15. ^ "Профессор Самсон Абрамский ФРС ФРСБ" . Королевское общество Эдинбурга . 19 мая 2017 . Проверено 27 января 2019 .
  16. ^ "BCS объявляет победителей премии Нидхема и Лавлейса" .
  17. ^ http://royalsociety.org/DServe/dserve.exe?dsqIni=Dserve.ini&dsqApp=Archive&dsqDb=Catalog&dsqCmd=show.tcl&dsqSearch=(RefNo==%27EC%2F2004%2F01%27)