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

С Википедије, слободне енциклопедије
Самсон Абрамски
Самсон Абрамски
Лични подаци
Датум рођења(1953-03-12)12. март 1953.[1]
ПребивалиштеУједињено Краљевство
ОбразовањеКраљевски факултет у Кембриџу, Лондонски универзитет краљице Марије
Научни рад
ПољеМатематика, Теорија игара, Информатика
ИнституцијаУниверзитет у Оксфорду,
Универзитет у Единбургу,
Универзитет у Кембриџу,
Царски факултет у Лондону
МенториРичард Борнат
Познат поРазвоју семантике игара као теорију рачунарских процеса
НаградеЧлан Краљевског друштва,
Члан Краљевског друштва Единбурга,
Лавлејс медаља,
Медаља Удружења за рачунарске машине
Званични веб-сајт
www.cs.ox.ac.uk/samson.abramsky/

Самсон Абрамски (рођен 12. марта 1953.) је информатичар са професуром Кристифора Странчеја на институту информатике Универзитета у Оксфорду. Допринео је областима теорије домена, ламбда рачунa, анализи строгости функција, теорија паралелности, категорије интеракција, геометрије интеракције, семантика игара и квантних рачунара.[2][3][4][5][6][7][8][9][10]

Образовање[уреди | уреди извор]

Абрамски је образован у Хасмонејској гимназији за дечаке у Хендону, на Краљевском факултету у Кембриџу (дипломирао је као информатичар 1975. године, 1979. завршава магистар филозофије) и у Лондонском универзитету краљице Марије (докторат информатике 1988. са ментором Ричарда Борната).[11]

Каријера и истраживања[уреди | уреди извор]

Године 2016. Абрамски је постао сарадник Волфсон колеџа у Оксфорду и Кристифор Странчеј професор рачунарства на Одсеку рачунарске науке на Универзитету у Оксфорду. Он је такође и члан Краљевског друштва од 2004. године. Његов истраживачки рад укључује развој семантике игара, теорију домена у логичком облику и категоричку квантну механику.

Пре тога радио је на следећим положајима:

Абрамски је имао кључну улогу у развоју семантике игара и њене примене код семантике програмских језика. Остали доприноси вредни помена укључују његов рад на теорији домена у логичком облику, ламбда рачуну, анализи строгости, теорији конкурентноости, категоријама интеракције и геометрији интеракције. Недавно је радио на високим методама квантног рачунања и информација.

Одабране публикације[уреди | уреди извор]

Самсон Абрамски је заједно са Давом Габеијем и Т.С.Е. Мејбаумом уредник шест томова Приручника логике у рачунарској науци.

  • 1992. Том 1: Позадина: Математичке структуре.
  • 1992. Том 2: Позадина: Рачунарске структуре.
  • 1995. Том 3: Семантичке структуре.
  • 1995. Том 4: Семантичко моделовање.
  • 2001. Том 5: Логичке и алгебарске методе.
  • Том 6: Логичке методе у рачунарској науци.

Самсон Абрамски је објавио преко двеста публикација и његов h-индекс од октобра 2019. године је 57.[12]

  • 1986. Анализа строгости код функција вишег реда. (са Г.Л. Бурном, Ц. Ханкином). Наука о рачунарском програмирању.
  • 1990. Ламбда рачун. Теме за истраживање у функционалном програмирању.
  • 1993. Рачунарска тумачења линеарне логике. У теоријској информатици 111
  • 1994. Теорија домена. (са А. Јунгом). У приручнику за логику у информатици 3.
  • 1996. Категорије интеракција и основе куцаног паралелног програмирања. (са С. Гајом и Р. Нагарајаном). НАТО АСИ СЕРИЈА Ф, НАУКА О КОМПЈУТЕРИМА И СИСТЕМИМА 152
  • 1997. Навођење категорија интеракција. (са Д. Павловићем). Теорија категорија и информатика
  • 2002. Геометрија интеракције и линеарне комбинаторне алгебре. (са Е. Хагхвердијем и П. Скотом). Математичке структуре у информатици 12 (5)
  • 2003. Секвенцијалност у односу на конкурентност у играма и логици. Математичке структуре у информатици 13 (4)

Неки од новијих радова Самсона Абрамског укључују:

Награде и почасти[уреди | уреди извор]

Абрамски је члан Краљевског друштва (2004.), члан Краљевског друштва Единбурга (2000.),[13] и члан Европске академије (1993.). Такође је члан Уредништва Северно холандских студија логике и основа математике, и расправа о теоријској информатици Кембриџа.

  • Био је председавајући Симпозијума о логици у информатици (LiCS) (2000- 2003.), и члан је СЛИ-вог оранизационог одбора.
  • Био је изабран за члана Асоцијације рачунарских машина (2014.) За допринос у доменима логичке форме, семантике игре, категоричке квантне механике и контекстуалне семантике
  • Награђен је Лавлејс медаљом британског рачунарског друштва 2013.[14]
  • Награђен је чланством сениорског истраживања Истраживачког савета за инжењеринг и физичке науке 2007.
  • Његов рад „Домен теорије у логичкој форми” освојио је СЛИ-ву награду Тест времена за 1987. годину. Награда је представљена 2007. године
  • Награђен је чланством сениорског истраживања Истраживачког савета за инжењеринг и физичке науке за темељне структуре и методе за квантну информатику 2007. године

Номинација Самсона Абрамског за Краљевско друштво гласи:

Самсон Абрамски се истиче за исконски допринос математичких темеља рачунања. Његово неприкосновено достигнуће је развој семантике игара као и теорија о рачунским процесима што излаже математичке структуре протока информација између њих. Ово је довело до моћних апликација у проучавању програмских језика, нудећи нове одлучне увиде у природу секвенцијалности, стања, контроле, и многих других рачунарских карактеристика. То сада води новом развоју рачунарских програмских анализа и верификација. Једна важна нит, која такође важи као допринос у логици, је генерализација Жирарове Геометрије интеракција, што је довело до новог жанра потпуних теорема, што карактерише „простор доказа” у логици. Пре тога, Абрамски је направио важне доприносе апстракној интерпретацији, теорије домена, ламбда (λ) рачуну и паралелности. Он наставља да осветљава широк распон тема својим креативним и оштрим увидима, радећи нешто ново, и донесећи ред и јединство постојећем раду.[15]

Референце[уреди | уреди извор]

  1. ^ A & C Black (2014). „ABRAMSKY, Prof. Samson”. Who's Who. Bloomsbury Publishing. (потребна претплата)
  2. ^ Abramsky, Samson; Jagadeesan, Radha; Malacaria, Pasquale (децембар 2000). „Full Abstraction for PCF”. Information and Computation (на језику: енглески). 163 (2): 409—470. doi:10.1006/inco.2000.2930. 
  3. ^ Abramsky, S.; Ong, C.H.L. (август 1993). „Full Abstraction in the Lazy Lambda Calculus”. Information and Computation (на језику: енглески). 105 (2): 159—267. doi:10.1006/inco.1993.1044. 
  4. ^ „Samson Abramsky LinkedIn page”. 
  5. ^ Abramsky, Samson (април 1993). „Computational interpretations of linear logic”. Theoretical Computer Science (на језику: енглески). 111 (1-2): 3—57. doi:10.1016/0304-3975(93)90181-R. 
  6. ^ Samson Abramsky publications indexed by Google Scholar
  7. ^ Samson Abramsky's publications indexed by the Scopus bibliographic database.
  8. ^ Samson Abramsky на DBLP библиографском серверу
  9. ^ Samson Abramsky профил аутора на ACM дигиталној библиотеци
  10. ^ Листа публикација Архивирано на сајту Wayback Machine (10. септембар 2019) од Мајкрософт Академик
  11. ^ „Samson Abramsky at the Mathematics Genealogy Project”. 
  12. ^ „Samson Abramsky : Publications”. 
  13. ^ „"Professor Samson Abramsky FRS FRSE". Краљевско друштво Единбурга. 19. мај 2017. Преузето 27. јануара 2019.”. 
  14. ^ „"BCS announce Needham and Lovelace Award winners".”. Архивирано из оригинала 21. 02. 2014. г. 
  15. ^ „Abramsky's nomination for the Royal Society reads.”. 
Преузето из „https://sr.wikipedia.org/w/index.php?title=Самсон_Абрамски&oldid=26998239”