Samson Abramsky

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

Samson Abramsky
Biographie
Naissance
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Dir. de thèse
Richard Bornat (en)
Site web
Distinctions

Carrière

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.

Recherche

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 et de ses applications à la sémantique des langages de programmation . D'autres contributions notables comprennent ses travaux sur la théorie des domaines en forme, le Lambda-calcul paresseux, la théorie de la concurrence, les catégories d'interaction et la géométrie de l'interaction. Il a également travaillé sur des méthodes de haut niveau pour le calcul et l'information quantique .

Publications (sélection)

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

Prix et distinctions

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.

Notes et références

  1. (en) « Samson Abramsky », sur le site du Mathematics Genealogy Project.
  2. Samson Abramsky sur Google Scholar
  3. (en)Samson Abramsky indexées sur la base de données Scopus d'Elsevier.
  4. « Professor Samson Abramsky FRS FRSE », The Royal Society of Edinburgh, (consulté le ).
  5. « BCS Academy of Computing | BCS », www.bcs.org.

Liens externes

  • Portail de l'informatique théorique
  • Portail du Royaume-Uni
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.