Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Samson Abramsky
Résumé
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).
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.
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 .
Handbook
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 — .
1997 — .
1994 — Domain Theory. (avec A Jung). in Handbook of Logic in Computer Science 3.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.