Samson Abramsky - Samson Abramsky

Samson Abramsky
Abramsky Samson.jpg
Samson Abramsky
narozený (1953-03-12) 12. března 1953 (věk 67)[1]
Alma mater
Ocenění
Vědecká kariéra
Pole
Instituce
TezeTeorie domény a logika pozorovatelných vlastností  (1987)
Doktorský poradceRichard Bornat[4]
webová stránkawww.cs.vůl.ac.Spojené království/Samson.abramsky

Samson Abramsky FRS, FRSE (narozen 12. března 1953) je a počítačový vědec kdo drží Christopher Strachey Profesorství na Katedra počítačů (dříve Computing Laboratory), University of Oxford. Přispěl do oblastí teorie domény líný lambda kalkul, analýza přísnosti, teorie souběžnosti, kategorie interakce, geometrie interakce, herní sémantika a kvantové výpočty.[3][5][6][7][8][9][10][11][12]

Vzdělání

Abramsky byl vzděláván v Hasmoneanské gymnázium pro chlapce, Hendon a v King's College v Cambridge (BA 1975, MA Philosophy 1979, Diploma in Computer Science) a Queen Mary, University of London (PhD Computer Science 1988, pod dohledem Richard Bornat ).[4]

Kariéra a výzkum

Od roku 2016 Abramsky je Chlapík z Wolfson College v Oxfordu a Christopher Strachey Professor of Computing ve společnosti Oxford University Department of Computer Science. Byl také členem královská společnost od roku 2004. Jeho výzkum zahrnuje vývoj herní sémantika, teorie domény v logické formě a kategorická kvantová mechanika.

Mezi jeho dřívější pozice patří:

Abramsky hrál hlavní roli ve vývoji herní sémantika a jeho aplikací pro sémantika programovacích jazyků. Mezi další významné příspěvky patří jeho práce na teorie domény v logické formě líní lambda kalkul, analýza přísnosti, teorie souběžnosti, kategorie interakce a geometrie interakce. V poslední době pracuje na metodách na vysoké úrovni pro kvantový výpočet a informace.

Vybrané publikace

Samson Abramsky spoluautorizoval 6 svazků Příručka logiky v informatice s Dov Gabbay a Tom Maibaum.

  • 1992. Svazek 1: Pozadí: Matematické struktury.
  • 1992. Svazek 2: Pozadí: Výpočetní struktury.
  • 1995. Svazek 3: Sémantické struktury.
  • 1995. Svazek 4: Sémantické modelování.
  • 2001. Svazek 5: Logické a algebraické metody.
  • Svazek 6: Logické metody v informatice.

Samson Abramsky vydal přes dvě stě publikací a jeho h-index k říjnu 2019 bylo 57 let.[13]

  • 1986. Analýza přísnosti pro funkce vyššího řádu. (s GL Burn, C Hankin). Věda o počítačovém programování.
  • 1990. Líný Lambda kalkul. Témata výzkumu funkčního programování.
  • 1993. Výpočetní interpretace lineární logiky. v teoretické informatice 111
  • 1994. Teorie domén. (s A Jungem). v Příručce logiky v informatice 3.
  • 1996. Kategorie interakcí a základy typovaného souběžného programování. (s S Gay a R. Nagarajanem). SÉRIE NATO ASI F POČÍTAČOVÉ A SYSTÉMOVÉ VĚDY 152
  • 1997. Specifikace kategorií interakce. (s D Pavlovićem). Teorie kategorie a informatika
  • 2002. Geometrie interakce a lineární kombinatorické algebry. (s E. Haghverdim a P Scottem). Mathematical Structures in Computer Science 12 (5)
  • 2003. Sekvenčnost vs. konkurence ve hrách a logice. Mathematical Structures in Computer Science 13 (4)

Některá z nedávných prací Samsona Abramského zahrnují:

Ocenění a vyznamenání

Abramsky je členem královská společnost (2004), a Člen Královské společnosti v Edinburghu (2000),[14] a člen Academia Europaea (1993). Je členem redakčních rad North Holland Studies in Logic and the Foundations of Mathematics a Cambridge Tracts in Theoretical Computer Science. Byl generálním předsedou LiCS 2000–2003 a je členem organizačního výboru LiCS.

Abramského nominace na královská společnost zní:

Samson Abramsky se vyznačuje seminárními příspěvky k matematickým základům výpočtu. Jeho vynikajícím úspěchem je vývoj herní sémantiky jako teorie výpočetních procesů, která odhaluje matematickou strukturu informačního toku mezi nimi. To vedlo k výkonným aplikacím při studiu programovacích jazyků, které nabízejí rozhodující nové pohledy na povahu sekvenčnosti, stavu, řízení a mnoha dalších výpočetních funkcí. Nyní vede postupně k novému vývoji v oblasti počítačové analýzy a ověřování programů. Důležitým prvkem, který rovněž představuje příspěvek k logice, je zobecnění Girardovy geometrie interakce, vedoucí k novému žánru vět o úplné úplnosti, který charakterizuje „prostor důkazů“ logiky. Dříve Abramsky významně přispíval k abstraktní interpretaci, doménové teorii, lambda kalkulu a souběžnosti. Pokračuje v osvětlování široké škály témat ostrými a kreativními pohledy, průlomem na nové půdě a vnášením pořádku a jednoty do stávající práce.[16]

Reference

  1. ^ A & C Black (2014). „ABRAMSKY, prof. Samson“. Kdo je kdo. Bloomsbury Publishing.(vyžadováno předplatné)
  2. ^ A b Fanoušci SAMSON ABRAMSKY ACM 2014
  3. ^ A b Samson Abramsky publikace indexované podle Google Scholar
  4. ^ A b Samson Abramsky na Matematický genealogický projekt
  5. ^ Publikace Samsona Abramského indexováno podle Scopus bibliografická databáze. (vyžadováno předplatné)
  6. ^ Abramsky, S.; Jagadeesan, R .; Malacaria, P. (2000). „Plná abstrakce pro PCF“ (PDF). Informace a výpočet. 163 (2): 409. arXiv:1311.6125. doi:10,1006 / inco.2000.2930.
  7. ^ Abramsky, S.; Ong, C. H. L. (1993). „Plná abstrakce v kalkulu Lazy Lambda“. Informace a výpočet. 105 (2): 159. doi:10.1006 / inco.1993.1044.
  8. ^ Stránka LinkedIn Samson Abramsky
  9. ^ Samson Abramsky v DBLP Bibliografický server Upravte to na Wikidata
  10. ^ Abramsky, S. (1993). "Výpočetní interpretace lineární logiky". Teoretická informatika. 111 (1–2): 3–57. doi:10.1016 / 0304-3975 (93) 90181-R.
  11. ^ Samson Abramsky stránka s profilem autora na ACM Digitální knihovna
  12. ^ Seznam publikací z Microsoft Academic
  13. ^ Samson Abramsky: Publikace
  14. ^ „Profesor Samson Abramsky FRS FRSE“. Královská společnost v Edinburghu. 19. května 2017. Citováno 27. ledna 2019.
  15. ^ „BCS oznamuje vítěze cen Needham a Lovelace Award“.
  16. ^ http://royalsociety.org/DServe/dserve.exe?dsqIni=Dserve.ini&dsqApp=Archive&dsqDb=Catalog&dsqCmd=show.tcl&dsqSearch=(RefNo==%27EC%2F2004%2F01%27)