Samson Abramsky

Samson Abramsky

Biographie

Naissance	12 mars 1953 (71 ans)
Nationalité	britannique
Formation	Queen Mary University of London King's College Université de Londres
Activités	Informaticien, ingénieur

Autres informations

A travaillé pour	Université d'Oxford (1er septembre 2000 - 30 septembre 2021) University College de Londres Université d'Édimbourg Queen Mary University of London Imperial College London
Membre de	Academia Europaea (1993) Royal Society (2004) Association for Computing Machinery (2015) UK Computing Research Committee (d) Royal Society of Edinburgh
Directeur de thèse	Richard Bornat (en)
Site web	www.cs.ox.ac.uk/samson.abramsky
Distinctions	Liste détaillée Turing Talk (en) (1999) Médaille Lovelace (2013) ACM Fellow (2014) Membre de la Royal Society of Edinburgh

modifier - modifier le code - modifier Wikidata

Samson Abramsky (né le 12 mars 1953) est un informaticien théoricien. professeur d'informatique au University College de Londres.

Abramsky a étudié à la Hasmonean Grammar School for Boys à Hendon et au King's College (BA 1975, MA Philosophie 1979, Diplôme en informatique) et à la Queen Mary University of London (PhD en Computer Science 1988, supervisé par Richard Bornat ; titre de la thèse : Domain Theory and the Logic of Observable Properties^[1]).

Il a été programmeur à General Electric Company, 1976–1978, lecteur au département d'informatique et de statistique de la Queen Mary University of London, 1980-1983, lecteur, 1983–1988, reader, 1988–1990, puis professeur, 1990–1995, au département d'informatique de l'Imperial College London, professeur d'informatique théorique à l'Université d'Édimbourg, 1996–2000, professeur d'informatique « Christopher Strachey » à l'Université d'Oxford, 2000-2021, enfin professeur d'informatique au University College de Londres.

Ses recherches portent sur le développement de la sémantique des jeux, la théorie des domaines sous forme logique et la mécanique quantique catégorique^[2],[3].

Abramsky a joué un rôle de premier plan dans le développement de la sémantique des jeux (en) et de ses applications à la sémantique des langages de programmation. Il a d’autre part contribué par ses recherches à la théorie des domaines, au Lambda-calcul paresseux, à la théorie de la concurrence, aux catégories d'interaction (en) et à la géométrie de l'interaction (en). Ses contributions récentes portent sur les méthodes de haut niveau pour le calcul et l'informatique quantique .

Handbook

• Samson Abramsky, Dov Gabbay et Thomas Stephen Edward Maibaum (éditeurs), Handbook of Logic in Computer Science : 5 volumes, Oxford, Clarendon Press (pour les 4 premiers volumes) Oxford University Press (pour le 5e), 1992 - 2000 (ISBN 0-19-853781-6, zbMATH 1035.03001).

Articles

• 2013 — Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. (with G. Gottlob and P. Kolaitis). IJCAI 2013
• 2012 — Logical Bell Inequalities. (with Lucien Hardy). In Physical Review A. Vol. 85. No. ARTN 062114
• 2010 — Introduction to categories and categorical logic. (with N. Tzevelekos). In New Structures for Physics. Springer.
• 2000 — S. Abramsky, R. Jagadeesan et P. Malacaria, « Full Abstraction for PCF », Information and Computation, vol. 163, n^o 2,‎ 2000, p. 409 (DOI 10.1006/inco.2000.2930, arXiv 1311.6125, lire en ligne).
• 1997 — D. Pavlović et S. Abramsky, S., « Specifying interaction categories », Lect. Notes Comput. Sci., vol. 1290 « Category theory and computer science. 7th international conference, CTCS ’97 »,‎ 1997, p. 147-158 (zbMATH 0884.18008).
• 1994 — Domain Theory. (avec A Jung). in Handbook of Logic in Computer Science 3.
• 1993 — S. Abramsky et C. H. L. Ong, « Full Abstraction in the Lazy Lambda Calculus », Information and Computation, vol. 105, n^o 2,‎ 1993, p. 159 (DOI 10.1006/inco.1993.1044 , lire en ligne).
• 1993 — S. Abramsky, « Computational interpretations of linear logic », Theoretical Computer Science, vol. 111, n^os 1–2,‎ 1993, p. 3–57 (DOI 10.1016/0304-3975(93)90181-R , lire en ligne).
• 1986 — S. Abramsky, Geoffrey L. Burn et Chris Hankin, « Strictness analysis for higher-order functions », Science of Computer Programming, vol. 7,‎ 1986, p. 249-278 (zbMATH 0603.68013).

Abramsky est membre de la Royal Society (2004), membre de la Royal Society of Edinburgh (2000)^[4] et membre de l'Academia Europaea (1993). Il est membre des comités de rédaction des North Holland Studies in Logic and the Foundations of Mathematics et des Cambridge Tracts in Theoretical Computer Science. Il a été président de LiCS de 2000 à 2003 et est membre du comité d'organisation de LiCS. Il a été élu Fellow de l' ACM (2014) pour ses contributions aux domaines sous forme logique, sémantique des jeux, mécanique quantique catégorique et sémantique contextuelle. Il a reçu la Médaille Lovelace en 2013^[5]. Son article « Domain theory in Logical Form » a obtenue le prix LiCS Test-of-Time pour 1987. Le prix lui a été remis au LiCS 2007. Il est co-lauréat du prix Alonzo-Church en 2017.

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Samson Abramsky » (voir la liste des auteurs).

• Site officiel
• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Google Scholar
  • Mathematics Genealogy Project
  • ORCID
  • Royal Society
  • Scopus
• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • IdRef
  • LCCN
  • GND
  • CiNii
  • Belgique
  • Pays-Bas
  • Pologne
  • Israël
  • NUKAT
  • Australie
  • Norvège
  • Tchéquie
  • WorldCat

• Portail de l'informatique théorique
• Portail du Royaume-Uni