Википедија

Samson Abramski

Samson Abramski (rođen 12. marta 1953.) je informatičar sa profesurom Kristifora Strančeja na institutu informatike Univerziteta u Oksfordu. Doprineo je oblastima teorije domena, lambda računa, analizi strogosti funkcija, teorija paralelnosti, kategorije interakcija, geometrije interakcije, semantika igara i kvantnih računara.[2][3][4][5][6][7][8][9][10]

Samson Abramski
Samson Abramski
Lični podaci
Datum rođenja(1953-03-12)12. mart 1953.[1]
PrebivališteUjedinjeno Kraljevstvo
ObrazovanjeKraljevski fakultet u Kembridžu, Londonski univerzitet kraljice Marije
Naučni rad
PoljeMatematika, Teorija igara, Informatika
InstitucijaUniverzitet u Oksfordu,
Univerzitet u Edinburgu,
Univerzitet u Kembridžu,
Carski fakultet u Londonu
MentoriRičard Bornat
Poznat poRazvoju semantike igara kao teoriju računarskih procesa
NagradeČlan Kraljevskog društva,
Član Kraljevskog društva Edinburga,
Lavlejs medalja,
Medalja Udruženja za računarske mašine
Zvanični veb-sajt
www.cs.ox.ac.uk/samson.abramsky/

Obrazovanje

uredi

Abramski je obrazovan u Hasmonejskoj gimnaziji za dečake u Hendonu, na Kraljevskom fakultetu u Kembridžu (diplomirao je kao informatičar 1975. godine, 1979. završava magistar filozofije) i u Londonskom univerzitetu kraljice Marije (doktorat informatike 1988. sa mentorom Ričarda Bornata).[11]

Karijera i istraživanja

uredi

Godine 2016. Abramski je postao saradnik Volfson koledža u Oksfordu i Kristifor Strančej profesor računarstva na Odseku računarske nauke na Univerzitetu u Oksfordu. On je takođe i član Kraljevskog društva od 2004. godine. Njegov istraživački rad uključuje razvoj semantike igara, teoriju domena u logičkom obliku i kategoričku kvantnu mehaniku.

Pre toga radio je na sledećim položajima:

Abramski je imao ključnu ulogu u razvoju semantike igara i njene primene kod semantike programskih jezika. Ostali doprinosi vredni pomena uključuju njegov rad na teoriji domena u logičkom obliku, lambda računu, analizi strogosti, teoriji konkurentnoosti, kategorijama interakcije i geometriji interakcije. Nedavno je radio na visokim metodama kvantnog računanja i informacija.

Odabrane publikacije

uredi

Samson Abramski je zajedno sa Davom Gabeijem i T.S.E. Mejbaumom urednik šest tomova Priručnika logike u računarskoj nauci.

  • 1992. Tom 1: Pozadina: Matematičke strukture.
  • 1992. Tom 2: Pozadina: Računarske strukture.
  • 1995. Tom 3: Semantičke strukture.
  • 1995. Tom 4: Semantičko modelovanje.
  • 2001. Tom 5: Logičke i algebarske metode.
  • Tom 6: Logičke metode u računarskoj nauci.

Samson Abramski je objavio preko dvesta publikacija i njegov h-indeks od oktobra 2019. godine je 57.[12]

  • 1986. Analiza strogosti kod funkcija višeg reda. (sa G.L. Burnom, C. Hankinom). Nauka o računarskom programiranju.
  • 1990. Lambda račun. Teme za istraživanje u funkcionalnom programiranju.
  • 1993. Računarska tumačenja linearne logike. U teorijskoj informatici 111
  • 1994. Teorija domena. (sa A. Jungom). U priručniku za logiku u informatici 3.
  • 1996. Kategorije interakcija i osnove kucanog paralelnog programiranja. (sa S. Gajom i R. Nagarajanom). NATO ASI SERIJA F, NAUKA O KOMPJUTERIMA I SISTEMIMA 152
  • 1997. Navođenje kategorija interakcija. (sa D. Pavlovićem). Teorija kategorija i informatika
  • 2002. Geometrija interakcije i linearne kombinatorne algebre. (sa E. Haghverdijem i P. Skotom). Matematičke strukture u informatici 12 (5)
  • 2003. Sekvencijalnost u odnosu na konkurentnost u igrama i logici. Matematičke strukture u informatici 13 (4)

Neki od novijih radova Samsona Abramskog uključuju:

Nagrade i počasti

uredi

Abramski je član Kraljevskog društva (2004.), član Kraljevskog društva Edinburga (2000.),[13] i član Evropske akademije (1993.). Takođe je član Uredništva Severno holandskih studija logike i osnova matematike, i rasprava o teorijskoj informatici Kembridža.

  • Bio je predsedavajući Simpozijuma o logici u informatici (LiCS) (2000- 2003.), i član je SLI-vog oranizacionog odbora.
  • Bio je izabran za člana Asocijacije računarskih mašina (2014.) Za doprinos u domenima logičke forme, semantike igre, kategoričke kvantne mehanike i kontekstualne semantike
  • Nagrađen je Lavlejs medaljom britanskog računarskog društva 2013.[14]
  • Nagrađen je članstvom seniorskog istraživanja Istraživačkog saveta za inženjering i fizičke nauke 2007.
  • Njegov rad „Domen teorije u logičkoj formi” osvojio je SLI-vu nagradu Test vremena za 1987. godinu. Nagrada je predstavljena 2007. godine
  • Nagrađen je članstvom seniorskog istraživanja Istraživačkog saveta za inženjering i fizičke nauke za temeljne strukture i metode za kvantnu informatiku 2007. godine

Nominacija Samsona Abramskog za Kraljevsko društvo glasi:

Samson Abramski se ističe za iskonski doprinos matematičkih temelja računanja. Njegovo neprikosnoveno dostignuće je razvoj semantike igara kao i teorija o računskim procesima što izlaže matematičke strukture protoka informacija između njih. Ovo je dovelo do moćnih aplikacija u proučavanju programskih jezika, nudeći nove odlučne uvide u prirodu sekvencijalnosti, stanja, kontrole, i mnogih drugih računarskih karakteristika. To sada vodi novom razvoju računarskih programskih analiza i verifikacija. Jedna važna nit, koja takođe važi kao doprinos u logici, je generalizacija Žirarove Geometrije interakcija, što je dovelo do novog žanra potpunih teorema, što karakteriše „prostor dokaza” u logici. Pre toga, Abramski je napravio važne doprinose apstraknoj interpretaciji, teorije domena, lambda (λ) računu i paralelnosti. On nastavlja da osvetljava širok raspon tema svojim kreativnim i oštrim uvidima, radeći nešto novo, i doneseći red i jedinstvo postojećem radu.[15]

Reference

uredi
  1. ^ A & C Black (2014). „ABRAMSKY, Prof. Samson”. Who's Who. Bloomsbury Publishing. (potrebna pretplata)
  2. ^ Abramsky, Samson; Jagadeesan, Radha; Malacaria, Pasquale (decembar 2000). „Full Abstraction for PCF”. Information and Computation (na jeziku: engleski). 163 (2): 409—470. doi:10.1006/inco.2000.2930. 
  3. ^ Abramsky, S.; Ong, C.H.L. (avgust 1993). „Full Abstraction in the Lazy Lambda Calculus”. Information and Computation (na jeziku: engleski). 105 (2): 159—267. doi:10.1006/inco.1993.1044. 
  4. ^ „Samson Abramsky LinkedIn page”. 
  5. ^ Abramsky, Samson (april 1993). „Computational interpretations of linear logic”. Theoretical Computer Science (na jeziku: engleski). 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 na DBLP bibliografskom serveru
  9. ^ Samson Abramsky profil autora na ACM digitalnoj biblioteci
  10. ^ Lista publikacija Arhivirano na sajtu Wayback Machine (10. septembar 2019) od Majkrosoft Akademik
  11. ^ „Samson Abramsky at the Mathematics Genealogy Project”. 
  12. ^ „Samson Abramsky : Publications”. 
  13. ^ „"Professor Samson Abramsky FRS FRSE". Kraljevsko društvo Edinburga. 19. maj 2017. Preuzeto 27. januara 2019.”. 
  14. ^ „"BCS announce Needham and Lovelace Award winners".”. Arhivirano iz originala 21. 02. 2014. g. 
  15. ^ „Abramsky's nomination for the Royal Society reads.”. 
Preuzeto iz „https://sr.wikipedia.org/w/index.php?title=Самсон_Абрамски&oldid=26998239”