World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
50
Citations
12981
World Ranking
5527
National Ranking
334

Research.com Recognitions

  • 2014 - ACM Fellow For contributions to domains in logical form, game semantics, categorical quantum mechanics, and contextual semantics.
  • 2004 - Fellow of the Royal Society, United Kingdom
  • 2000 - Fellow of the Royal Society of Edinburgh
  • 1993 - Member of Academia Europaea

Overview

Samson Abramsky is affiliated with the University of Oxford in the United Kingdom, focusing primarily on Computer Science. Their research specializes in several subfields, notably Artificial Intelligence, Computational Theory and Mathematics, Atomic and Molecular Physics, and Optics, as well as Geometry and Topology, and Management Science and Operations Research.

The main topics covered in their work include:

  • Logic, Reasoning, and Knowledge
  • Quantum Mechanics and Applications
  • Logic, Programming, and Type Systems
  • Advanced Algebra and Logic
  • Advanced Topology and Set Theory
  • Quantum Information and Cryptography
  • Quantum Computing Algorithms and Architecture

They have published extensively in various academic venues. Frequent publication venues include:

  • arXiv (Cornell University)
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences
  • Bulletin of Symbolic Logic
  • Fundamenta Informaticae

Selected recent papers by Samson Abramsky are:

  • Structure and Power: an Emerging Landscape, 2022, Fundamenta Informaticae
  • The Logic of Contextuality, 2021, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Arboreal Categories: An Axiomatic Theory of Resources, 2023, Logical Methods in Computer Science
  • Combining contextuality and causality: a game semantics approach, 2024, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences

They often collaborate with other researchers. Frequent co-authors include:

  • Luca Reggio
  • Nihil Shah
  • Rui Soares Barbosa
  • Jouko Väänänen
  • Amy Searle

Samson Abramsky's work has been recognized through numerous awards and honors, including:

  • ACM Fellow in 2014 for contributions to logical form, game semantics, categorical quantum mechanics, and contextual semantics
  • Fellow of the Royal Society, United Kingdom, 2004
  • Fellow of the Royal Society of Edinburgh, 2000
  • Member of Academia Europaea since 1993

Best Publications

  • Domain theory

    Samson Abramsky;Achim Jung

  • A categorical semantics of quantum protocols

    S. Abramsky;B. Coecke

  • Computational interpretations of linear logic

    Samson Abramsky

  • Domain theory in logical form

    Samson Abramsky

  • The lazy lambda calculus

    Samson Abramsky

  • Full Abstraction for PCF

    Samson Abramsky;Radha Jagadeesan;Pasquale Malacaria

  • Games and full completeness for multiplicative linear logic

    Samson Abramsky;Radha Jagadeesan

  • Abstract interpretation of declarative languages

    Samson Abramsky;Chris Hankin

  • Handbook of logic in computer science (vol. 2): background: computational structures

    S. Abramsky;Dov M. Gabbay;S. E. Maibaum

  • A categorical semantics of quantum protocols

    Samson Abramsky;Bob Coecke

  • Full abstraction in the lazy lambda calculus

    Samson Abramsky;C.-H. Luke Ong

  • Observation equivalence as a testing equivalence

    S. Abramsky

  • Quantales‚ Observational Logic and Process Semantics

    Samson Abramsky;Steven Vickers

  • A fully abstract game semantics for general references

    S. Abramsky;K. Honda;G. McCusker

  • Semantics of Interaction: an introduction to Game Semantics

    Samson Abramsky

  • Concurrent games and full completeness

    S. Abramsky;P.-A. Mellies

  • New foundations for the geometry of interaction

    Samson Abramsky;Radha Jagadeesan

  • A domain equation for bisimulation

    Samson Abramsky

  • CATEGORICAL QUANTUM MECHANICS

    Samson Abramsky;Bob Coecke

  • Strictness analysis for higher-order functions

    Geoffrey L. Burn;Chris Hankin;Samson Abramsky

  • Geometry of Interaction and linear combinatory algebras

    Samson Abramsky;Esfandiar Haghverdi;Philip Scott

  • Retracting Some Paths in Process Algebra

    Samson Abramsky

  • Linearity, Sharing and State: A Fully Abstract Game Semantics for Idealized Algol with Active Expressions

    Samson Abramsky;Guy McCusker

  • Full Abstraction for PCF (extended abstract)

    Samson Abramsky;Pasquale Malacaria;Radha Jagadeesan

  • Games and Full Completeness for Multiplicative Linear Logic (Extended Abstract)

    Samson Abramsky;Radha Jagadeesan

  • Handbook of logic in computer science.

    Samson Abramsky;Dov M. Gabbay;Thomas S. E. Maibaum

Frequent Co-Authors

Radha Jagadeesan
Radha Jagadeesan DePaul University
Dov M. Gabbay
Dov M. Gabbay University of Luxembourg
Chris Hankin
Chris Hankin Imperial College London
Erol Gelenbe
Erol Gelenbe Institute of Theoretical and Applied Informatics
Prakash Panangaden
Prakash Panangaden McGill University
Susan Stepney
Susan Stepney University of York
Vladimiro Sassone
Vladimiro Sassone University of Southampton
Peter Bruza
Peter Bruza Queensland University of Technology
Andrew Adamatzky
Andrew Adamatzky University of the West of England
Paul G. Spirakis
Paul G. Spirakis University of Liverpool

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens doors to diverse career opportunities and online degree options. Many students also consider parallel online programs that complement or expand their technical skillsets, such as online mechanical engineering degree programs. These programs offer flexible schedules and prepare graduates for in-demand roles in technology and engineering fields.

If you are interested in rapidly entering the workforce, a computer science accelerated program can help you complete your studies faster. This option is great for students eager to start their careers or advance their current positions.

For those considering careers that marry technology with environmental concerns, online programs in related areas are also popular. Pursuing an environmental engineering degree can lead to roles in sustainability, infrastructure, and innovation. Additionally, students with interests in science and the environment may explore jobs for environmental science majors, which span consulting, policy, research, and more.

Best Scientists Citing Samson Abramsky

Trending Scientists